吴文俊 “数学机械化之父”的圆满句号被引量：1

原文传递

导出

摘要国际机器证明研究领域的权威人物J．S．穆尔这样评价：“在吴文俊之前，机械化的几何定理证明处于黑暗时期．而吴的工作给整个领域带来光明。”

作者余玮

出处《中华儿女》 2017年第10期14-17,共4页

关键词数学机械化吴文俊句号机器证明定理证明

同被引文献3

1张会.盖耳－曼：粒子物理学界的奇才[J].自然辩证法通讯,1996,18(2):71-79.
2浅草.引力波知多少[J].大科技（科学之谜）（A）,2016,0(4):12-13.
3廖贻华.关于代数教学的机械化[J].教书育人（高教论坛）,2004,0(6X):26-28.
4纱迦.《丧尸围城4 弗兰克的复苏》完全解析[J].游戏机实用技术,2017(9):52-55.
5热脸[J].新民周刊,2017,0(19):53-53.
6柏森.传统数学的程序化与数学教育[J].重庆通信学院学报,1993(4):48-51.
7Yong-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
8姜岩.科技发展挑战极限[J].发明与创新（大科技）,2005(8):17-17.
9连新泽.数学归纳法自动推证研究[J].温州师范学院学报,2004,25(5):66-70.
10张清明.光波研究开发预算前途光明[J].国外激光,1991(12):6-6.

中华儿女

2017年第10期

内容加载中请稍等...