Abstract
This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians.
A Fully Automatic Theorem Prover with Human-Style Output
一款具有人类风格输出的全自动定理证明器
阅读：1
| 期刊： | 影响因子： | ||
| 时间： | 2017 | 起止号： | 2017;58(2):253-291 |
| doi： | 10.1007/s10817-016-9377-1 | 种属： | Human |
特别声明
1、本页面内容包含部分的内容是基于公开信息的合理引用；引用内容仅为补充信息，不代表本站立场。
2、若认为本页面引用内容涉及侵权，请及时与本站联系，我们将第一时间处理。
3、其他媒体/个人如需使用本页面原创内容，需注明“来源：[生知库]”并获得授权；使用引用内容的，需自行联系原作者获得许可。
4、投稿及合作请联系：info@biocloudy.com。