On Mechanical Quantifier Elimination for Elementary Algebra and Geometry.

Dennis S. Arnon Maurice Mignotte

Published in: J. Symb. Comput. (1988)

Keyphrases

quantifier elimination
constraint query languages
quantifier free
cardinality constraints
first order logic
constraint propagation

set theory
boolean algebra
presburger arithmetic
functional programming
constraint databases
algebraic structure

query language
relational algebra
data model
high level
fixed point

integrity constraints
database
constraint satisfaction problems
relational data model
artificial intelligence