当前位置:
X-MOL 学术
›
J. Autom. Reason.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
A Fully Automatic Theorem Prover with Human-Style Output
Journal of Automated Reasoning ( IF 0.9 ) Pub Date : 2016-06-11 , DOI: 10.1007/s10817-016-9377-1 M Ganesalingam 1 , W T Gowers 2
Journal of Automated Reasoning ( IF 0.9 ) Pub Date : 2016-06-11 , DOI: 10.1007/s10817-016-9377-1 M Ganesalingam 1 , W T Gowers 2
Affiliation
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.
中文翻译:
具有人性化输出的全自动定理证明器
本文描述了一个解决基本数学问题的程序,主要是在度量空间理论中,并提出了与人类数学家可能编写的解决方案难以区分的解决方案。
更新日期:2016-06-11
中文翻译:
具有人性化输出的全自动定理证明器
本文描述了一个解决基本数学问题的程序,主要是在度量空间理论中,并提出了与人类数学家可能编写的解决方案难以区分的解决方案。