计算机科学与实践2004，Vol.2Issue(11) ：51-54.

几何定理动态搜索系统的设计与实现

Design and Implementation of a Dynamic Searching System of Geometric Theorem

薛利 董兆安
计算机科学与实践2004，Vol.2Issue(11) ：51-54.
✕
  • NETL
  • NSTL
  • 万方数据

几何定理动态搜索系统的设计与实现

Design and Implementation of a Dynamic Searching System of Geometric Theorem

薛利 1董兆安1
扫码查看

作者信息

  • 1. 华东师范大学计算机系,上海,200062
  • 折叠

摘要

针对目前几种几何定理证明系统不能解决非构造型问题、解题效率较低等不足之处,本文在数值方法的基础上提出新的定理搜索方法,并利用该方法设计实现了几何定理动态搜索系统.

关键词

自动推理/数值计算/例证法/非构造型问题

引用本文复制引用

出版年

2004
计算机科学与实践
计算机科学与实践杂志社

计算机科学与实践

ISSN：1729-584X
参考文献量4
段落导航相关论文