### Abstract

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

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 | United States |

City | South Bend |

Period | 24/07/18 → 27/07/18 |

Internet address |

### Fingerprint

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

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

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

*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, United States, 24/07/18. https://doi.org/10.1007/978-3-319-96418-8_44

}

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

SN - 978-3-319-96417-1

T3 - Lecture Notes in Computer Science

SP - 369

EP - 378

BT - Mathematical Software

PB - Springer

ER -