“吴方法”与吴文俊

来源 :知识就是力量 | 被引量 : 0次 | 上传用户:bhkj1gjdgjsj456854
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1978年,一位中国学者正式发明了几何定理机器证明的新方法,这就是举世公认的“吴方法”。应用这种方法,使欧氏几何定理的证明完全实现了机械化。利用它,人们便能借助计算机很快地重新验证已经证明过的定理,这些定理要是用传统方法来证明的话,难度之大是不可想象的。 In 1978, a Chinese scholar formally invented a new method of proof of geometric theorem machines, which is universally recognized as the “Wu Method.” Using this method, the proof of Euclidean theorem of geometry is fully mechanized. With it, one can quickly revalidate proven theorems using computers, which are inconceivable if difficult to justify using traditional methods.
其他文献
在古希腊悲剧诗人欧里彼得斯现存的剧本中,有许多是就内战和家庭问题发表看法的.在这些作品--尤其是其家庭问题剧中,欧里彼得斯塑造了一系列性格鲜明的女性形象,第一个“发现
对读者理解毕飞宇的小说写作有着重要意义.作为有着独立追求的作家,在小说中,毕飞宇写出了现代社会中女性心灵的痛苦和挣扎.林红的身体和心灵无形中遭受着权力和文化的侵害.
在青藏高原上,你见过那壁立千仞、刀劈斧削的石林吗?在甘南州境内,就有这样一处人间胜境,那就是则岔石林.rn则岔石林位于碌曲县洮河南部,被森林与草原簇拥着,可与桂林石林相
从街头少年到足坛新星rn对于希腊U19青年队的前锋索特里斯·尼尼斯来说,今年是不同寻常的一年.2007年1月7日,尼尼斯刚刚被帕纳辛那克斯的主帅维克托提拔至一线队,并首次代表
警察通俗小说在警察小说创作中占有比较突出的地位,相较于其他通俗小说的“通俗”,它又在内容的现实性、冲突的激烈性和表现模式的高度程式化上体现出鲜明特征.警察通俗小说
期刊
她有一张让人一见钟情的迷人脸孔:深邃的蓝色眼眸,微微上翘的鼻子,蜜桃般娇嫩甜美的脸颊吹弹可破,介于女孩与女人之间的气质,不容侵犯,又有一丝不安。在俄罗斯,她的名字家喻
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
春秋笔法为史传者首创,但对后世文学影响深远,作者即有意运用春秋笔法.本文从小说人事对比、借书中人物之口讽骂时事及对宋江的刻画三个方面分析其叙事方略,得出是一部春秋大
早已仰慕南湾湖的盛名,在炎热的夏日,终于有机会一睹它的芳容,不顾夏天烈日炎炎的蒸烤,一下火车,就迫不及待投入到南湾湖的寻梦之旅中.rn南湾湖,又称南湖,位于河南省信阳市,