43 search results - page 1 / 9 » Elementary Algebraic Specifications of the Rational Complex ... |
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
AML
2008
13 years 5 months ago
2008
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...
TYPES
2000
Springer
13 years 8 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...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
ESA
2004
Springer
13 years 10 months ago
2004
Springer
We study polynomials of degree up to 4 over the rationals or a computable real subfield. Our motivation comes from the need to evaluate predicates in nonlinear computational geome...