基于数值计算的几何定理自动搜索方法

• 作者: 侯晓荣 薛利
• 来源期刊: 华东师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 自动推理 数值计算 例证法 非构造性问题
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 87-91
• 页数: 5页
• 分类号: TP399
• 字数: 3131字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5641.2006.01.016

摘要

该文提出了利用数值方法进行几何定理自动搜索的方法,并基于此方法开发了几何定理动态搜索系统.该系统不但可以证明构造性的初等平面几何命题,而且也实现了对非构造性几何命题的定理搜索.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛利	曲阜师范大学计算机学院	4	9	1.0	3.0
2	侯晓荣	宁波大学理学院	16	56	4.0	6.0