位置：成果数据库 > 期刊 > 期刊详情页
基于数值计算的几何定理自动搜索方法
  • ISSN号：1000-5641
  • 期刊名称：华东师范大学学报(自然科学版)
  • 时间：0
  • 页码：25-31
  • 语言：中文
  • 分类：TP399[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]曲阜师范大学计算机学院,日照276826, [2]宁波大学理学院,宁波315211
  • 相关基金：国家自然科学基金（60273095）;浙江省新世纪151人才工程;宁波市科技发展规划项目
  • 相关项目：数学机械化研究中的例证法
作者： 侯晓荣|薛利|
关键词： 自动推理, 数值计算, 例证法, 非构造性问题, automated reasoning, numeric computation, prove by examples, non-constructive problems
中文摘要：

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

英文摘要：

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.

同期刊论文项目
数学机械化研究中的例证法
期刊论文 23 会议论文 6
实代数和实几何推理的图形探索平台
期刊论文 4
同项目期刊论文
三级四阶辛格式的完全构造
遗传聚类的社团结构发现
Positive definiteness of Hermitian interval matrices
骨骼肌细胞频响特性的数值分析
零维多项式组零点的1种直接表示法
差分代换的一些几何性质
Some Geometric Properties of Successive Di?erence Substitutions
平移多项式的判别序列
Convergence of a series whose terms are iterates of quadratic maps
一种小波域数字水印算法及其MATLAB仿真
键合多项式p-不可约的一些结果
实代数数符号判定的一种新算法
2条二次曲线不变量的一个应用
两个多项式的根的相对分布的显式判定
加权差分代换与型的非负性判定
为有经由 Hamiltonian 功能方法的蒸气阀门的同步发电机的柔韧的适应刺激控制器的一个家庭
一类由函数方程确定的周期函数
零维多项式组零点的1种直接表示法
2条二次曲线不变量的一个应用
两个多项式的根的相对分布的显式判定
期刊信息
  • 《华东师范大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:华东师范大学
  • 主编：郑伟安
  • 地址：上海中山北路3663号
  • 邮编：200062
  • 邮箱：xblk@xb.ecnu.edu.cn
  • 电话：021-62233703
  • 国际标准刊号：ISSN：1000-5641
  • 国内统一刊号：ISSN：31-1298/N
  • 邮发代号:4-359
  • 获奖情况:
  • 中国综合性科技类核心期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,美国剑桥科学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:6600