3 papers
cs.SC2018
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
C. Mulligan, R. Bradford, J. H. Davenport +2
We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problem…
cs.SC2018
TheoryGuru: A Mathematica Package to apply Quantifier Elimination
C. Mulligan, J. H. Davenport, M. England
We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. There is a great body of work considering QE applications in science and enginee…
cs.SC2018
Quantifier Elimination for Reasoning in Economics
Casey B. Mulligan, Russell Bradford, James H. Davenport +2
We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. QE dates back to Tarski's work in the 1940s with software to perform it dating t…