@book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
publisher=Springer,series=LNCS,volume=2283,year=2002,
note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}

@book{rahman2002analytic,
	title={Analytic theory of polynomials},
	author={Rahman, Qazi Ibadur and Schmeisser, Gerhard},
	number={26},
	year={2002},
	publisher={Oxford University Press}
}

@article{eisermann2012fundamental,
	title={The fundamental theorem of algebra made effective: An elementary real-algebraic proof via {S}turm chains},
	author={Eisermann, Michael},
	journal={American Mathematical Monthly},
	volume={119},
	number={9},
	pages={715--752},
	year={2012},
	publisher={Mathematical Association of America}
}
