Automated Economic Reasoning with Quantifier Elimination
收藏NBER2016-12-01 更新2025-01-04 收录
下载链接：
https://www.nber.org/papers/w22922
下载链接
链接失效反馈官方服务：
资源简介：
Many theorems in economics can be proven (and hypotheses shown to be false) with quantifier elimination. Results from real algebraic geometry such as Tarskis quantifier elimination theorem and Collins cylindrical algebraic decomposition algorithm are applicable because the economic hypotheses,
提供机构：
美国国家经济研究局创建时间：
2016-12-01
