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

Casey 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 Mulligan, James H. Davenport, Matthew England

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

16 Citations (Scopus)

67 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
Subtitle of host publication	Proceedings of the International Congress on Mathematical Software (ICMS 2018)
Publisher	Springer
Pages	369-378
Number of pages	10
ISBN (Electronic)	978-3-319-96418-8
ISBN (Print)	978-3-319-96417-1
DOIs	https://doi.org/10.1007/978-3-319-96418-8_44
Publication status	Published - 14 Jul 2018
Event	International Congress on Mathematical Software: ICMS 2018 - University of Notre Dame, South Bend, United States Duration: 24 Jul 2018 → 27 Jul 2018 Conference number: 6 http://icms-conference.org/2018/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10931

Conference

Conference	International Congress on Mathematical Software
Abbreviated title	ICMS 2018
Country/Territory	United States
City	South Bend
Period	24/07/18 → 27/07/18
Internet address	http://icms-conference.org/2018/

Bibliographical note

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

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-96418-8_44

Keywords

Quantifier elimination
Economic reasoning

Access to Document

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

Post-PrintAccepted author manuscript, 1.2 MB

Cite this

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. / Mulligan, Casey; Davenport, James H.; England, Matthew.
Mathematical Software: Proceedings of the International Congress on Mathematical Software (ICMS 2018). Springer, 2018. p. 369-378 (Lecture Notes in Computer Science; Vol. 10931).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

Mulligan, C, Davenport, JH & England, M 2018, TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. in Mathematical Software: Proceedings of the International Congress on Mathematical Software (ICMS 2018). Lecture Notes in Computer Science, vol. 10931, Springer, pp. 369-378, International Congress on Mathematical Software, South Bend, Indiana, United States, 24/07/18. https://doi.org/10.1007/978-3-319-96418-8_44

@inproceedings{56500cc05c974826bc1feebe11ec506d,

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 = "Quantifier elimination, Economic reasoning",

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

note = "Lecture Notes in Computer Science (ISSN: 0302-9743) The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-96418-8_44; International Congress on Mathematical Software : ICMS 2018, ICMS 2018 ; Conference date: 24-07-2018 Through 27-07-2018",

year = "2018",

month = jul,

day = "14",

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

language = "English",

isbn = "978-3-319-96417-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "369--378",

booktitle = "Mathematical Software",

address = "United Kingdom",

url = "http://icms-conference.org/2018/",

}

TY - GEN

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

AU - Mulligan, Casey

AU - Davenport, James H.

AU - England, Matthew

N1 - Conference code: 6

PY - 2018/7/14

Y1 - 2018/7/14

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 - Quantifier elimination

KW - Economic reasoning

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

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

M3 - Conference proceeding

SN - 978-3-319-96417-1

T3 - Lecture Notes in Computer Science

SP - 369

EP - 378

BT - Mathematical Software

PB - Springer

T2 - International Congress on Mathematical Software

Y2 - 24 July 2018 through 27 July 2018

ER -

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

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Fingerprint

Cite this