Real Quantifier Elimination in Practice.

Andreas Dolzmann Thomas Sturm Volker Weispfenning

Published in: Algorithmic Algebra and Number Theory (1997)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
first order logic
constraint databases
functional programming
cardinality constraints
high level
expressive power