295 search results - page 2 / 59 » Simultaneous Quantifier Elimination |
CASC
2009
Springer
13 years 6 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
CASC
2006
Springer
13 years 9 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
JSYML
2010
13 years 12 days ago
2010
We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the resi...
KR
1992
Springer
13 years 9 months ago
1992
Springer
An algorithm is presented which eliminates second