TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics.

Casey B. Mulligan James H. Davenport Matthew England

Published in: ICMS (2018)

Keyphrases

quantifier elimination
constraint propagation
cardinality constraints
functional programming
first order logic
constraint databases
presburger arithmetic
data streams
constraint satisfaction
query evaluation