凯西·B·穆利根。；詹姆斯·H·达文波特。；英格兰，马修 TheoryGuru：将量词消除技术应用于经济学的Mathematica软件包。 （英语） Zbl 1395.68350号 Davenport，James H.（编辑）等人，《数学软件–ICMS 2018》。第六届国际会议，2018年7月24日至27日，美国印第安纳州南本德。诉讼程序。查姆：施普林格（ISBN 978-3-319-96417-1/pbk；978-3-3169-96418-8/电子书）。计算机科学课堂讲稿10931369-378（2018）。 摘要：我们考虑在经济学中使用量词消除（QE）技术进行自动推理。考虑到量化宽松在科学和工程中的应用，有大量工作要做，但我们在这里证明，它在社会科学中也有用途。我们解释了经济学中有多少建议的定理可以通过量化宽松自动被证明，或者甚至被证明其假设不一致。{}然而，这项技术可能受益的经济学家通常不熟悉量化宽松和数学软件的使用。这促使了Mathematica软件包TheoryGuru的开发，其目的是降低量化宽松应用于经济学的成本。我们描述了该包的功能并给出了其使用示例。有关整个系列，请参见[Zbl 1391.68004号]. 引用于6文件 MSC公司： 68瓦30 符号计算和代数计算 68吨15 定理证明（演绎、解析等）（MSC2010） 91-04 与博弈论、经济学和金融相关问题的软件、源代码等 关键词：量词消去法；经济推理；性别工资差距 软件：数学软件；提奥里古鲁 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Mulligan}等人，Lect。票据计算。科学。10933169-378（2018年；兹比尔1395.68350） 全文： 内政部 arXiv公司