Projects per year
Abstract
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 language  English 

Title of host publication  Mathematical Software – ICMS 2018  6th International Conference, Proceedings 
Editors  J. Davenport, M. Kauers, G. Labahn, J. Urban 
Place of Publication  Cham, Switzerland 
Publisher  Springer International Publishing 
Pages  369378 
Number of pages  10 
ISBN (Print)  9783319964171 
DOIs  
Publication status  Published  2018 
Event  6th International Conference on Mathematical Software, ICMS 2018  South Bend, USA United States Duration: 24 Jul 2018 → 27 Jul 2018 
Publication series
Name  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 

Volume  10931 
Conference
Conference  6th International Conference on Mathematical Software, ICMS 2018 

Country  USA United States 
City  South Bend 
Period  24/07/18 → 27/07/18 
Keywords
 Economic reasoning
 Quantifier elimination
ASJC Scopus subject areas
 Theoretical Computer Science
 Computer Science(all)
Fingerprint Dive into the research topics of 'TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics'. Together they form a unique fingerprint.
Projects
 1 Finished

Real Geometry and Connectedness via Triangular Description
Davenport, J., Bradford, R., England, M. & Wilson, D.
Engineering and Physical Sciences Research Council
1/10/11 → 31/12/15
Project: Research council