期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于数值计算的几何定理自动搜索方法
1
作者 薛利 侯晓荣 《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第1期87-91,共5页
该文提出了利用数值方法进行几何定理自动搜索的方法,并基于此方法开发了几何定理动态搜索系统．该系统不但可以证明构造性的初等平面几何命题,而且也实现了对非构造性几何命题的定理搜索．
关键词 自动推理 数值计算 例证法 非构造性问题
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部