368 search results - page 31 / 74 » Arithmetic as a Theory Modulo |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Smale's -theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to ...
SPIN
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriļ¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiļ¬...
MLQ
1998
13 years 8 months ago
1998
We develop arithmetical measure theory along the lines of Lutz [10]. This yields the same notion of āmeasure 0 setā as considered before by Martin-LĀØof, Schnorr, and others. W...
JSYML
2006
13 years 8 months ago
2006
It is shown that, according to NF, many of the assertions of ordinal arithmetic involving the T-function which is peculiar to NF turn out to be equivalent to the truth-in-certain-...
CADE
2004
Springer
14 years 2 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of ļ¬rst-order theories involving both total and partial functions. Modularity means that inferences are pu...