@article(gauss-proofs-fta,
 author       = {Harel Cain},
 year         = {2018},
 title        = {C. F. Gauss's Proofs of the Fundamental Theorem of Algebra},
 url          = {http://math.huji.ac.il/~ehud/MH/Gauss-HarelCain.pdf},
)
@inproceedings(CoGa:equivalences,
 author       = {J. Cowles and R. Gamboa},
 year         = {2014},
 title        = {Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis},
 booktitle    = {Proceedings of the 12th International Workshop of the ACL2 Theorem Prover and its Applications},
 doi          = {10.1007/3-540-36126-X_17},
)
@book(fine1997fundamental,
 author       = {B. Fine and G. Rosenberger},
 year         = {1997},
 title        = {The Fundamental Theorem of Algebra},
 series       = {Undergraduate Texts in Mathematics},
 publisher    = {Springer New York},
 doi          = {10.1007/978-1-4612-1928-6},
)
@misc(wiki-fta,
 author       = {{Fundamental theorem of algebra}},
 year         = {2001},
 title        = {Fundamental theorem of algebra --- {W}ikipedia{,} The Free Encyclopedia},
 url          = {https://en.wikipedia.org/wiki/Fundamental_theorem_of_algebra},
)
@inproceedings(GaCo:inverses,
 author       = {R. Gamboa and J. Cowles},
 year         = {2009},
 title        = {Inverse Functions in {ACL2(r)}},
 booktitle    = {Proceedings of the Eighth International Workshop of the ACL2 Theorem Prover and its Applications (ACL2-2009)},
 doi          = {10.1145/1637837.1637846},
)
@article(GaKa:acl2r,
 author       = {R. Gamboa and M. Kaufmann},
 year         = {2001},
 title        = {Nonstandard analysis in {ACL2}},
 journal      = {Journal of Automated Reasoning},
 volume       = {27},
 number       = {4},
 pages        = {323--351},
 doi          = {10.1023/A:1011908113514},
)
@misc(Geu:FTA,
 author       = {H. Geuvers and F. Wiedijk and J. Zwanenburg and R. Pollack and Ha Barendregt},
 title        = {The ``Fundamental Theorem of Algebra'' Project},
 url          = {http://www.cs.kun.nl/~freek/fta/index.html},
)
@inproceedings(Har:FTA,
 author       = {J. Harrison},
 year         = {2001},
 title        = {Complex Quantifier Elimination in {HOL}},
 booktitle    = {TPHOLs 2001: Supplemental Proceedings},
 pages        = {159--174},
 url          = {http://www.inf.ed.ac.uk/publications/online/0046/b159.pdf},
)
@inproceedings(Mil:FTA,
 author       = {R. Milewski},
 year         = {2000},
 title        = {Fundamental Theorem of Algebra},
 booktitle    = {Journal of Formalized Mathematics},
 volume       = {12},
)
@inproceedings(SaGa:sqrt,
 author       = {J. Sawada and R. Gamboa},
 year         = {2002},
 title        = {Mechanical Verification of a Square Root Algorithm using {T}aylor's Theorem},
 booktitle    = {Formal Methods in Computer-Aided Design (FMCAD'02)},
 doi          = {10.1007/3-540-36126-X_17},
)
@article(visual-fta,
 author       = {Daniel J. Velleman},
 year         = {2015},
 title        = {The Fundamental Theorem of Algebra: A Visual Approach},
 journal      = {The Mathematical Intelligencer},
 volume       = {37},
 number       = {4},
 pages        = {12--21},
 doi          = {10.1007/s00283-015-9572-7},
)