4 citations · 7 across the 8 of their papers we have counts for
1 paper · 1 filter
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…