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

Casey Mulligan, James H. Davenport, Matthew England

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

    11 Citations (Scopus)
    29 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
    Subtitle of host publicationProceedings of the International Congress on Mathematical Software (ICMS 2018)
    Number of pages10
    ISBN (Electronic)978-3-319-96418-8
    ISBN (Print)978-3-319-96417-1
    Publication statusPublished - 14 Jul 2018
    EventInternational Congress on Mathematical Software: ICMS 2018 - University of Notre Dame, South Bend, United States
    Duration: 24 Jul 201827 Jul 2018
    Conference number: 6

    Publication series

    NameLecture Notes in Computer Science


    ConferenceInternational Congress on Mathematical Software
    Abbreviated titleICMS 2018
    Country/TerritoryUnited States
    CitySouth Bend
    Internet address

    Bibliographical note

    Lecture Notes in Computer Science (ISSN: 0302-9743)

    The final publication is available at Springer via


    • Quantifier elimination
    • Economic reasoning


    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