The Fundamental Theorem of Algebra in ACL2

Ruben Gamboa, John Cowles

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions…