几何定理自动证明相关论文
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提......
数学机械化就是将数学研究的主要活动——“推理与计算”实现机械化或自动化的过程。本项目研究数学机械化基础理论、信息技术若干......
2月19日，中共中央、国务院在京隆重举行国家科学技术奖励大会。会上，江泽民主席首先为获得2000年度国家最高科学技术奖的中国科学院......
针对几何定理自动证明的前推法实现方式，结合面向对象编程工具的特点，实现了一个原型系统。该系统结构简单、清晰，可扩展性强，并能产生......
