736 search results - page 113 / 148 » Algorithms for Ordinal Arithmetic |
121
click to vote
COMPGEOM
2001
ACM
15 years 3 months ago
2001
ACM
: Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of non-linear algebraic primitive...
138
click to vote
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
152
click to vote
CSCLP
2008
Springer
15 years 1 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
100
click to vote
DAGSTUHL
2003
15 years 1 months ago
2003
In this paper we discuss reliable methods in the field of finite precision geometry. We begin with a brief survey of geometric computing and approaches generally used in dealing ...
116
click to vote
TPCD
1994
15 years 1 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...