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

华东师范大学学报(自然科学版)

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

薛利, 侯晓荣

文章导航 > 华东师范大学学报（自然科学版） > 2006 > (1): 87-91

薛利, 侯晓荣. 基于数值计算的几何定理自动搜索方法[J]. 华东师范大学学报（自然科学版）, 2006, (1): 87-91.

引用本文:

薛利, 侯晓荣. 基于数值计算的几何定理自动搜索方法[J]. 华东师范大学学报（自然科学版）, 2006, (1): 87-91.

XUE Li, HOU Xiao-rong. Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 87-91.

Citation:

XUE Li, HOU Xiao-rong. Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 87-91.

薛利, 侯晓荣. 基于数值计算的几何定理自动搜索方法[J]. 华东师范大学学报（自然科学版）, 2006, (1): 87-91.

引用本文:

薛利, 侯晓荣. 基于数值计算的几何定理自动搜索方法[J]. 华东师范大学学报（自然科学版）, 2006, (1): 87-91.

XUE Li, HOU Xiao-rong. Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 87-91.

Citation:

XUE Li, HOU Xiao-rong. Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 87-91.

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

薛利^1,,
侯晓荣²

1.
曲阜师范大学计算机学院,日照 276826;
2.
宁波大学理学院,宁波 315211

中图分类号: TP399
计量
- 文章访问数: 2753
- HTML全文浏览量: 18
- PDF下载量: 229
- 被引次数: 0
出版历程
- 收稿日期: 2004-06-01
- 修回日期: 2004-11-27
- 刊出日期: 2006-01-25

Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)

XUE Li^1
,,
HOU Xiao-rong²

1.
Department of Computer,Qufu Normal University, Rizhao 276826, China;2. Faculty of Science, Ningbo University, Ningbo 315211, China

More Information

Corresponding author: XUE Li

摘要: 该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统.该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的定理搜索.
- 自动推理 /
- 数值计算 /
- 例证法 /
- 非构造性问题
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.
- automated reasoningnumeric computationprove by examplesnon-constructive problems /

参考文献(0)

资源附件(0)

WeChat

点击查看大图

计量

文章访问数: 2753
HTML全文浏览量: 18
PDF下载量: 229
被引次数: 0

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

版权所有© 华东师范大学学报期刊社

地址：上海市中山北路3663号干训楼六楼邮政编码：200062

电话：021-62233703，62232305Email：xblk@xb.ecnu.edu.cn