Join Our Newsletter

11 search results - page 1 / 3» A Constructive Proof of the Fundamental Theorem of Algebra w... |

TYPES

2000

Springer

9 years 3 months ago
2000

Springer

Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...

ENTCS

2008

9 years 1 days ago
2008

Several different uses of Newton's method in connection with the Fundamental Theorem of Algebra are pointed out. Theoretical subdivision schemes have been combined with the n...

TYPES

2000

Springer

9 years 3 months ago
2000

Springer

We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...

ENTCS

2006

8 years 12 months ago
2006

It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...

JSC

2002

8 years 11 months ago
2002

We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...