基于复数法的几何定理可读机器证明

Keywords: [复数法, CNMP, 可读机器证明, TGTP, 五圆定理, complex number method, CNMP(complex number method prover), readable machine proof, TGTP, five circles theorem]

Full-Text   Cite this paper   Add to My Lib

Abstract:

已有的机器证明方法在处理一些涉及大规模符号运算的几何问题时，..

Full-Text