理论古鲁

Theoryguru:Mathematica软件包,将量词消除技术应用于经济学。我们考虑在经济学中使用量词消除(QE)技术进行自动推理。有大量的工作考虑量化宽松在科学和工程中的应用,但是我们在这里证明它在社会科学中也有应用。我们解释了有多少经济学中提出的定理可以通过量化宽松自动地被证明,甚至可以证明它们的假设是不一致的。{par}然而,这项技术可以受益的经济学家通常不熟悉量化宽松,也不熟悉数学软件的使用。这推动了Mathematica包理论的发展,其目的是降低将量化宽松应用于经济学的成本。我们描述了这个包的功能并给出了它的使用示例。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换