%0 Journal Article
%T 基于复数法的几何定理可读机器证明
%A 张景中
%A 李  涛
%J -
%D 2013
%X 已有的机器证明方法在处理一些涉及大规模符号运算的几何问题时，..
%K [复数法
%K CNMP
%K 可读机器证明
%K TGTP
%K 五圆定理
%K complex number method
%K CNMP(complex number method prover)
%K readable machine proof
%K TGTP
%K five circles theorem]
%U http://crad.ict.ac.cn/CN/Y2013/V50/I9/1963