几何定理机器证明的方法——吴方法思想的形成
被引量：3
出处
《数学通报》
北大核心
2003年第6期4-6,共3页
Journal of Mathematics（China）
参考文献7
-
1.《数学的机械化》[A]..《百科知识》[C].,1980年.. 被引量：1
-
2吴文俊著..几何定理机器证明的基本原理 初等几何部分[M].北京:科学出版社,1984:280.
-
3《数学的机械化》[J].《百科知识》,1980,. 被引量：1
-
4中外数学简史编写组编..中国数学简史[M].济南:山东教育出版社,1986:617.
-
5.《吴文俊论数学机械化》[M].山东教育出版社,1996年版.第25页. 被引量：1
-
6吉纳.B.库腊塔.《计算机进入到数学研究领域,数学的优美结束了》[J].《世界科学译刊》,1979,(1). 被引量：1
-
7《中国古代数学对世界文化的伟大贡献》[J].《数学学报》,1975,(18). 被引量：1
同被引文献5
-
1高小山.数学机械化研究展望[J].中国基础科学,1999,0(1):30-32. 被引量：2
-
2蔡敏.多项式不可约性的一个定理[J].大学数学,1995,16(1):227-228. 被引量：2
-
3高小山,石赫.卓越的贡献 高度的评价——吴文俊及其科学成就[J].中国科学院院刊,2001,16(1):64-66. 被引量：4
-
4王瑞.判定Q上多项式不可约的一种方法[J].Journal of Mathematical Research and Exposition,2002,22(4):679-684. 被引量：4
-
5胡作玄.吴文俊——从拓扑学到数学机械化[J].自然辩证法通讯,2003,25(1):81-89. 被引量：8
-
1谷振离.《几何基础》与师范性[J].许昌师专学报,1992,11(1):45-46.
-
2李洁坤.《几何基础》教学初探[J].柳州师专学报,1996,11(4):76-77.
-
3吴文俊.几何定理机器证明[J].自然科学进展（国家重点实验室通讯）,1992,2(1):1-14. 被引量：3
-
4王申怀.从欧几里得《几何原本》到希尔伯特《几何基础》[J].数学通报,2010,49(1):1-7. 被引量：5
-
5张家驹.REDUCE对几何定理机器证明的应用[J].数学的实践与认识,1991,21(3):51-56.
-
6希尔伯特（Hilbert,David,1862-1943）德国数学家（Mathematician，Germany）[J].光谱实验室,2007,24(1):77-77.
-
7张景中.几何定理机器证明20年[J].科学通报,1997,42(21):2248-2259. 被引量：7
-
8徐嘉,姚勇,张景中.n-单形的m阶等分点集与零多项式的判定[J].数学学报（中文版）,2014,57(2):311-320.
-
9钟秀琴,符红光,丁盘苹.基于本体与Prolog的平面几何定理证明[J].电子科技大学学报,2011,40(3):429-434. 被引量：4
-
10张景中.几何定理机器证明研究展望[J].中国科学院院刊,1997,12(2):88-91. 被引量：1
;
