References

1. Harel Cain (2018): C. F. Gauss's Proofs of the Fundamental Theorem of Algebra. Available at http://math.huji.ac.il/~ehud/MH/Gauss-HarelCain.pdf.
2. J. Cowles & R. Gamboa (2014): Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis. In: Proceedings of the 12th International Workshop of the ACL2 Theorem Prover and its Applications, doi:10.1007/3-540-36126-X_17.
3. B. Fine & G. Rosenberger (1997): The Fundamental Theorem of Algebra. Undergraduate Texts in Mathematics. Springer New York, doi:10.1007/978-1-4612-1928-6.
4. Fundamental theorem of algebra (2001): Fundamental theorem of algebra — Wikipedia, The Free Encyclopedia. Available at https://en.wikipedia.org/wiki/Fundamental_theorem_of_algebra.
5. R. Gamboa & J. Cowles (2009): Inverse Functions in ACL2(r). In: Proceedings of the Eighth International Workshop of the ACL2 Theorem Prover and its Applications (ACL2-2009), doi:10.1145/1637837.1637846.
6. R. Gamboa & M. Kaufmann (2001): Nonstandard analysis in ACL2. Journal of Automated Reasoning 27(4), pp. 323–351, doi:10.1023/A:1011908113514.
7. H. Geuvers, F. Wiedijk, J. Zwanenburg, R. Pollack & Ha Barendregt: The ``Fundamental Theorem of Algebra'' Project. Available at http://www.cs.kun.nl/~freek/fta/index.html.
8. J. Harrison (2001): Complex Quantifier Elimination in HOL. In: TPHOLs 2001: Supplemental Proceedings, pp. 159–174. Available at http://www.inf.ed.ac.uk/publications/online/0046/b159.pdf.
9. R. Milewski (2000): Fundamental Theorem of Algebra. In: Journal of Formalized Mathematics 12.
10. J. Sawada & R. Gamboa (2002): Mechanical Verification of a Square Root Algorithm using Taylor's Theorem. In: Formal Methods in Computer-Aided Design (FMCAD'02), doi:10.1007/3-540-36126-X_17.
11. Daniel J. Velleman (2015): The Fundamental Theorem of Algebra: A Visual Approach. The Mathematical Intelligencer 37(4), pp. 12–21, doi:10.1007/s00283-015-9572-7.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org