摘要
由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位。自吴法发表至今20年,几何定理机器证明的研究和实践有了很大的进展。对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,消点法、搜索法更能生成其可读的证明。几何不等式机器证明的研究,由于多项式完全判别系统的建立,也有了突破。研究领域已由机器证明扩展为包括几何作图在内的一般几何问题的机器求解,并有了实际的应用。
出处
《科学通报》
EI
CAS
CSCD
北大核心
1997年第21期2248-2259,共12页
Chinese Science Bulletin
基金
国家"攀登"计划项目基金
863国家高科技基金
国家自然科学基金
中国科学院特别支持基金
美国国家科学基金
意大利ICTP等多方面资助项目.