295 search results - page 1 / 59 » Simultaneous Quantifier Elimination |
KI
1998
Springer
13 years 9 months ago
1998
Springer
AISC
2004
Springer
13 years 8 months ago
2004
Springer
We present a new method for generic quantifier elimination that uses an extension of Hermitian quantifier elimination. By means of sample computations we show that this generic Her...
DAM
2008
13 years 4 months ago
2008
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...
AISC
2010
Springer
13 years 8 months ago
2010
Springer
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...