57 search results - page 1 / 12 » Heterogeneous Reasoning in Real Arithmetic |
DIAGRAMS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
CSL
2009
Springer
13 years 11 months ago
2009
Springer
CADE
2006
Springer
14 years 5 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
LICS
1997
IEEE
13 years 9 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...