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 proceedingChapter

2 Citations (Scopus)
11 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 languageEnglish
Title of host publicationMathematical Software
Subtitle of host publicationProceedings of the International Congress on Mathematical Software (ICMS 2018)
PublisherSpringer
Pages369-378
Number of pages10
ISBN (Electronic)978-3-319-96418-8
ISBN (Print)978-3-319-96417-1
DOIs
Publication statusPublished - 14 Jul 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10931

Fingerprint

Economics
Functionality
Economists
Social sciences
Costs
Software

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

Cite this

Mulligan, C., Davenport, J. H., & 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) (pp. 369-378). (Lecture Notes in Computer Science; Vol. 10931). Springer. https://doi.org/10.1007/978-3-319-96418-8_44

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 proceedingChapter

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. https://doi.org/10.1007/978-3-319-96418-8_44
Mulligan C, Davenport JH, England M. TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. In Mathematical Software: Proceedings of the International Congress on Mathematical Software (ICMS 2018). Springer. 2018. p. 369-378. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-96418-8_44
Mulligan, Casey ; Davenport, James H. ; England, Matthew. / TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. Mathematical Software: Proceedings of the International Congress on Mathematical Software (ICMS 2018). Springer, 2018. pp. 369-378 (Lecture Notes in Computer Science).
@inbook{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’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",
year = "2018",
month = "7",
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",

}

TY - CHAP

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

AU - Mulligan, Casey

AU - Davenport, James H.

AU - England, Matthew

N1 - 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

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 - Chapter

SN - 978-3-319-96417-1

T3 - Lecture Notes in Computer Science

SP - 369

EP - 378

BT - Mathematical Software

PB - Springer

ER -