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

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 |

### Fingerprint

### Keywords

- Economic reasoning
- Quantifier elimination

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

### Cite this

*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 ). Cham, Switzerland: 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.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*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

}

TY - GEN

T1 - TheoryGuru

T2 - A Mathematica Package to Apply Quantifier Elimination Technology to Economics

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 - Conference contribution

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

ER -