Quantifier elimination for real closed fields by cylindrical algebraic decomposition-preliminary report.

George E. Collins

Published in: SIGSAM Bull. (1974)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
cardinality constraints
functional programming
constraint databases
data management
first order logic
fixed point
algebraic structure