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

Casey B. Mulligan, James H. Davenport, Matthew England

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

12 Citations (SciVal)
70 Downloads (Pure)


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 engineering but we demonstrate here that it also has use in the social sciences. We explain how many suggested theorems in economics could either be proven, or even have their hypotheses shown to be inconsistent, automatically via QE. However, economists who this technology could benefit are usually unfamiliar with QE, and the use of mathematical software generally. This motivated the development of a Mathematica Package TheoryGuru, whose purpose is to lower the costs of applying QE to economics. We describe the package’s functionality and give examples of its use.

Original languageEnglish
Title of host publicationMathematical Software – ICMS 2018 - 6th International Conference, Proceedings
EditorsJ. Davenport, M. Kauers, G. Labahn, J. Urban
Place of PublicationCham, Switzerland
PublisherSpringer International Publishing
Number of pages10
ISBN (Print)9783319964171
Publication statusPublished - 2018
Event6th International Conference on Mathematical Software, ICMS 2018 - South Bend, USA United States
Duration: 24 Jul 201827 Jul 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)


Conference6th International Conference on Mathematical Software, ICMS 2018
Country/TerritoryUSA United States
CitySouth Bend


  • Economic reasoning
  • Quantifier elimination

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics'. Together they form a unique fingerprint.

Cite this