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

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

doi:10.1007/978-3-319-96418-8_44

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 proceeding › Chapter in a published conference proceeding

16 Citations (SciVal)

88 Downloads (Pure)

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	369-378
Number of pages	10
ISBN (Print)	9783319964171
DOIs	https://doi.org/10.1007/978-3-319-96418-8_44
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/Territory	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
General Computer Science

Access to Document

10.1007/978-3-319-96418-8_44

Mulliganetal2018b-authors
This is a post-peer-review, pre-copyedit version of a conference proceeding published in Mulligan, CB, Davenport, JH & England, M 2018, TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. in J Davenport, M Kauers, G Labahn & J Urban (eds), Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10931 , Springer, Cham, Cham, Switzerland, pp. 369-378. The final authenticated version is available online at: https://doi.org/10.1007/978-3-319-96418-8_44
Accepted author manuscript, 767 KB

Cite this

Mulligan, C. B., Davenport, J. H., & England, M. (2018). TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. In J. Davenport, M. Kauers, G. Labahn, & J. Urban (Eds.), Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings (pp. 369-378). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10931 ). Springer International Publishing. https://doi.org/10.1007/978-3-319-96418-8_44

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. / Mulligan, Casey B.; Davenport, James H.; England, Matthew.
Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. ed. / J. Davenport; M. Kauers; G. Labahn; J. Urban. Cham, Switzerland: Springer International Publishing, 2018. p. 369-378 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10931 ).

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

Mulligan, CB, Davenport, JH & England, M 2018, TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. in J Davenport, M Kauers, G Labahn & J Urban (eds), Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10931 , Springer International Publishing, Cham, Switzerland, pp. 369-378, 6th International Conference on Mathematical Software, ICMS 2018, South Bend, USA United States, 24/07/18. https://doi.org/10.1007/978-3-319-96418-8_44

Mulligan CB, Davenport JH, England M. TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. In Davenport J, Kauers M, Labahn G, Urban J, editors, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Cham, Switzerland: Springer International Publishing. 2018. p. 369-378. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2018 Jul 14. doi: 10.1007/978-3-319-96418-8_44

Mulligan, Casey B. ; Davenport, James H. ; England, Matthew. / TheoryGuru : A Mathematica Package to Apply Quantifier Elimination Technology to Economics. Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. editor / J. Davenport ; M. Kauers ; G. Labahn ; J. Urban. Cham, Switzerland : Springer International Publishing, 2018. pp. 369-378 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8909a1d71134460983038f4203466642,

title = "TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics",

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{\textquoteright}s functionality and give examples of its use.",

keywords = "Economic reasoning, Quantifier elimination",

author = "Mulligan, {Casey B.} and Davenport, {James H.} and Matthew England",

year = "2018",

doi = "10.1007/978-3-319-96418-8_44",

language = "English",

isbn = "9783319964171",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer International Publishing",

pages = "369--378",

editor = "J. Davenport and M. Kauers and G. Labahn and J. Urban",

booktitle = "Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings",

address = "Switzerland",

note = "6th International Conference on Mathematical Software, ICMS 2018 ; Conference date: 24-07-2018 Through 27-07-2018",

}

TY - GEN

T1 - TheoryGuru

T2 - 6th International Conference on Mathematical Software, ICMS 2018

AU - Mulligan, Casey B.

AU - Davenport, James H.

AU - England, Matthew

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Economic reasoning

KW - Quantifier elimination

UR - http://www.scopus.com/inward/record.url?scp=85050602881&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-96418-8_44

DO - 10.1007/978-3-319-96418-8_44

M3 - Chapter in a published conference proceeding

AN - SCOPUS:85050602881

SN - 9783319964171

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

SP - 369

EP - 378

BT - Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings

A2 - Davenport, J.

A2 - Kauers, M.

A2 - Labahn, G.

A2 - Urban, J.

PB - Springer International Publishing

CY - Cham, Switzerland

Y2 - 24 July 2018 through 27 July 2018

ER -

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

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Real Geometry and Connectedness via Triangular Description

Cite this

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

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Projects

Real Geometry and Connectedness via Triangular Description

Cite this