TheoryGuru: A Mathematica Package to apply Quantifier Elimination.

Casey B. Mulligan James Harold Davenport Matthew England

Published in: CoRR (2018)

Keyphrases

quantifier elimination
constraint propagation
constraint databases
cardinality constraints
functional programming
first order logic
presburger arithmetic
artificial intelligence
database systems
np complete
expressive power
functional dependencies
geographic information systems
transitive closure