Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics
收藏NBER2018-05-01 更新2025-01-04 收录
下载链接：
https://www.nber.org/papers/w24602
下载链接
链接失效反馈官方服务：
资源简介：
We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problems. The problems have been shown to fall within the framework of non-linear real arithmetic, and so are in theory soluble
提供机构：
美国国家经济研究局
创建时间：
2018-05-01
