A Fully Automatic Theorem Prover with Human-Style Output
A Fully Automatic Theorem Prover with Human-Style Output
复制标题
具有人性化输出的全自动定理证明器
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
W. Gowers
中科院分区：
文献类型：
--
作者：
M. Ganesalingam;W. Gowers
本文描述了一个程序，解决基本的数学问题，主要是在度量空间理论，并提出了解决方案，很难区分的解决方案，可能是由人类数学家写的。
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.