机器证明论文

区间运算及其在不等式证明中的应用
论文摘要在几何定理与不等式机器证明等方面,人们已进行了各种各样的尝试与研究,并且已开发出一些专用的计算机系统,例如杨路等人开发的基于Maple的BOTTEMA程序包。本文从区间...