期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
几何定理的机器证明——每个中国数学教师都应懂得的方法
被引量:
1
1
作者
田长生
《广东技术师范学院学报》
2003年第6期82-84,共3页
本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教授的“降维算法”。
关键词
几何定理
机器证明
吴法
消点算法
降维
算法
中国
数学教师
下载PDF
职称材料
题名
几何定理的机器证明——每个中国数学教师都应懂得的方法
被引量:
1
1
作者
田长生
机构
广东技术师范学院计算机科学系
出处
《广东技术师范学院学报》
2003年第6期82-84,共3页
文摘
本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教授的“降维算法”。
关键词
几何定理
机器证明
吴法
消点算法
降维
算法
中国
数学教师
Keywords
Mechanical Proving
Wu's Method
Elimination Point Method
lower Dimension Method
分类号
O18 [理学—基础数学]
O141.2 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
几何定理的机器证明——每个中国数学教师都应懂得的方法
田长生
《广东技术师范学院学报》
2003
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部