节点文献
基于数值计算的几何定理自动搜索方法
Automated Geometric Theorem Search Method Based on Numeric Computation
【摘要】 该文提出了利用数值方法进行几何定理自动搜索的方法,并基于此方法开发了几何定理动态搜索系统．该系统不但可以证明构造性的初等平面几何命题,而且也实现了对非构造性几何命题的定理搜索．
【Abstract】 A new method based on numeric computation for automated geometric theorem proving and discovering is shown. And a dynamic searching system of geometric theorem has been implemented, which can solve elementary geometric problems efficiently, including some non-constructive problems.
【关键词】 自动推理；
数值计算；
例证法；
非构造性问题；
【Key words】 automated reasoning； numeric computation； prove by examples； non-constructive problems；
【Key words】 automated reasoning； numeric computation； prove by examples； non-constructive problems；
【基金】 国家自然科学基金(60273095)浙江省新世纪151人才工程宁波市科技发展规划项目
- 【文献出处】 华东师范大学学报(自然科学版) ,Journal of East China Normal University(Natural Science) , 编辑部邮箱 ,2006年01期
- 【分类号】TP391.3
- 【被引频次】1
- 【下载频次】99