Login / Signup
On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem.
Dennis S. Arnon
Published in:
European Conference on Computer Algebra (2) (1985)
Keyphrases
</>
quantifier elimination
optimal solution
functional programming
presburger arithmetic
data model
general purpose
constraint propagation
cardinality constraints
constraint databases
constraint query languages
database
databases
expert systems
query language
set theory