Research / BFI Working PaperMay 10, 2018

TheoryGuru: A Mathematic Package to apply Quantifier Elimination Technology to Economics

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.

More Research From These Scholars

BFI Working Paper May 1, 2016

The Upside-down Economics of Regulated and Otherwise Rigid Prices

Casey Mulligan, Kevin Tsui
Topics:  Health care
BFI Working Paper Jul 27, 2017

Wedges, Labor Market Behavior, and Health Insurance Coverage Under the Affordable Care Act

Casey Mulligan, Trevor S. Gallen
Topics:  Health care
BFI Working Paper Oct 21, 2020

An Analysis of Vice President Biden’s Economic Agenda: The Long Run Impacts of Its Regulation, Taxes, and Spending

Timothy Fitzgerald, Kevin Hassett, Cody Kallen, Casey Mulligan
Topics:  Uncategorized