期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
一个古老的梦实现了!——几何定理机器证明的吴法浅谈
被引量：
1
下载PDF
职称材料
导出
摘要
我国著名数学家吴文俊教授近年来在几何定理的机器证明方面取得了开创性的成果,他发明的方法被誉为“吴法”。《一个古老的梦实现了!——几何定理机器证明的吴法浅谈》对此作了深入浅出的介绍。
作者
井中
出处
《自然杂志》
1990年第10期682-688,703,共8页
Chinese Journal of Nature
关键词
定理机器证明
几何定理
内分角线
约束变元
中国古代数学
莫勒定理
著名数学家
升列
代数问题
初等几何
分类号
N49 [自然科学总论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
10
引证文献
1
二级引证文献
10
同被引文献
10
1
Yong-BinLi,WuLiu],Xiao-LinXiang.
Geometry Theorem Proving by Decomposing Polynomial System into Strong Regular Sets[J]
.Journal of Computer Science & Technology,2004,19(6):820-827.
被引量：1
2
张景中,杨路,侯晓荣.
代数方程组相关性的一个判准及其在定理机器证明中的应用[J]
.中国科学（A辑）,1993,23(10):1036-1042.
被引量：9
3
张景中,杨路.
定理机械化证明的数值并行法及单点例证法原理概述[J]
.数学的实践与认识,1989,19(1):34-43.
被引量：9
4
张景中,杨路,侯晓荣.
几何定理机器证明的结式矩阵法[J]
.系统科学与数学,1995,15(1):10-15.
被引量：11
5
张景中,杨路,侯晓荣.
几何定理机器证明的WE完全方法[J]
.系统科学与数学,1995,15(3):200-207.
被引量：11
6
张景中,高小山,周咸青.
基于前推法的几何信息搜索系统[J]
.计算机学报,1996,19(10):721-727.
被引量：34
7
WU Wen inn(WU Wen-tsun)(Institute of Systems Science, Academia Sinica, Beijing 100080, China).
ON A FINITENESS THEOREM ABOUT PROBLEMS INVOLVING INEQUALITIES[J]
.Systems Science and Mathematical Sciences,1994,7(3):193-200.
被引量：8
8
CHOU Shangching,GAO Xiaoshan Department of Computer Science,the Wichita State University,Wichita,KS 67260,UsA Institute of Systems Science, Academia Sinica, Beijing 100080, China.
AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves[J]
.Systems Science and Mathematical Sciences,1993,6(2):186-192.
被引量：8
9
杨路.
Recent Advances in Automated Theorem Proving on Inequalities[J]
.Journal of Computer Science & Technology,1999,14(5):434-446.
被引量：21
10
杨路,夏时洪.
一类构造性几何不等式的机器证明[J]
.计算机学报,2003,26(7):769-778.
被引量：37
引证文献
1
1
张景中,李永彬.
几何定理机器证明三十年[J]
.系统科学与数学,2009,29(9):1155-1168.
被引量：10
二级引证文献
10
1
李凯,董春玲,赵克.
基于领域的机器定理证明的研究[J]
.航空计算技术,2010,40(2):80-83.
2
郑焕,张景中.
可由用户持续发展的几何自动推理平台的推理算法[J]
.计算机应用,2011,31(8):2101-2104.
被引量：8
3
郑焕.
可由用户持续发展的几何自动推理平台[J]
.系统科学与数学,2011,31(12):1622-1632.
被引量：4
4
于尚超,李阳,王鹏.
基于拼凑替换的定理机器证明的研究与实现[J]
.计算机技术与发展,2012,22(6):135-138.
5
魏雪峰,崔光佐.
小学数学问题解决认知分析、模拟及其教学启示——以“异分母相加”问题为例[J]
.电化教育研究,2013,34(11):115-120.
被引量：56
6
张景中,张传军,郑焕,饶永生,邹宇.
SGARP中符号计算模块的实现及其应用[J]
.计算机研究与发展,2014,51(6):1341-1351.
7
吴林静,劳传媛,刘清堂,黄景修,巴深.
基于依存句法的初等数学分层抽样应用题题意理解[J]
.计算机应用与软件,2019,36(5):126-132.
被引量：2
8
郭礼权,付尧顺,郁文生.
基于Coq的第三代微积分机器证明系统[J]
.中国科学：数学,2021,51(1):115-136.
被引量：2
9
邹宇,彭翕成,饶永生.
基于吴方法的几何定理证明的恒等式方法[J]
.中国科学：数学,2021,51(1):289-300.
被引量：1
10
刘清堂,马鑫倩,周洁,吴林静,周鹏霄.
融合常识库和语法特征的数学应用题题意理解[J]
.计算机应用,2023,43(2):356-364.
被引量：1
1
张景中.
举例子能证明几何定理吗?[J]
.自然杂志,1991,14(1):55-62.
被引量：3
2
吴文俊.
脑力劳动机械化与科学技术现代化[J]
.武汉理工大学学报（信息与管理工程版）,2002,24(4):6-7.
3
苏炳松,蒋善翠.
Simpson公式在初等几何中的应用[J]
.江苏师范大学学报（自然科学版）,1993,23(2):58-61.
4
王元元,汪灵华,骆光武.
计算机科学与逻辑学[J]
.自然杂志,1991,14(11):832-837.
5
王季华.
“吴方法”与吴文俊[J]
.知识就是力量,2001(9).
6
郝新鸿.
吴文俊“几何定理之机器证明”的文化意义[J]
.自然辩证法通讯,2014,36(1):92-96.
被引量：1
7
朱根顺,吕庆安.
仿射变换在初等几何中的应用[J]
.太原师范学院学报（自然科学版）,1999(4):78-79.
8
黄葵.
培养几何绘图能力提高几何学习潜能[J]
.长江大学学报（自科版）（上旬）,2008,5(03X):374-376.
9
宋芝业,纪志刚.
《几何原本》与中国现代初等几何学科的兴起[J]
.自然辩证法通讯,2017,39(2):17-21.
被引量：1
10
四款新奇交通工具[J]
.科学大观园,2007(15):34-34.
自然杂志
1990年 第10期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
