src/HOL/Computational_Algebra/document/root.bib
author Manuel Eberl <eberlm@in.tum.de>
Fri, 29 Mar 2024 19:28:59 +0100
changeset 80061 4c1347e172b1
permissions -rw-r--r--
moved over material from AFP; most importantly on algebraic numbers and algebraically closed fields

@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}
}