src/HOL/Computational_Algebra/document/root.bib
author wenzelm
Tue, 05 Nov 2024 23:01:09 +0100
changeset 81351 95cb584cb777
parent 80061 4c1347e172b1
permissions -rw-r--r--
update to jdk-21.0.5; enforce rebuild of Isabelle/ML and Isabelle/Scala;

@article{nowak2000,
  title={Some elementary proofs of {P}uiseux’s theorems},
  author={Nowak, Krzysztof Jan},
  journal={Univ. Iagel. Acta Math},
  volume={38},
  pages={279--282},
  year={2000}
}