中图网

>

数学

Steiner问题-分角线相等的三角形:初等几何机器证明问题

作者：吴文俊

出版社：哈尔滨工业大学出版社出版时间：2020-11-01

开本： 大32开 页数： 76

本类榜单：自然科学销量榜

中图价:¥29.8(6.2折) 定价 ~~¥48.0~~ 登录后可看到会员价

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
宇宙、量子和人类心灵

宇宙、量子和人类心灵

¥41.6¥58
>
考研数学专题练1200题

考研数学专题练1200题

¥30.6¥78
>
希格斯:“上帝粒子”的发明与发现

希格斯:“上帝粒子”的发明与发现

¥17.4¥48
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

¥48¥120
>
二十四史天文志校注(上中下)

二十四史天文志校注(上中下)

¥261.3¥390
>
声音简史

声音简史

¥20.8¥52
>
浪漫地理学:追寻崇高景观

浪漫地理学:追寻崇高景观

¥39.3¥59

商品详情
商品评论(0条)

中图价:¥29.8 加入购物车

版权信息
内容简介
目录
作者简介

Steiner问题-分角线相等的三角形:初等几何机器证明问题版权信息

ISBN：9787560390413
条形码：9787560390413 ; 978-7-5603-9041-3
装帧：一般胶版纸
册数：暂无
重量：暂无
所属分类：
自然科学
>
数学

Steiner问题-分角线相等的三角形:初等几何机器证明问题内容简介

本书通过一个古老问题：内角或外角分角线相等的三角形是否等腰的研究，初步介绍了利用电子计算机证明初等几何命题的一些概况，可作为电子计算机在逻辑证明方面应用的启蒙读物。本书可供中学师生、大学师生及数学爱好者参考阅读。

Steiner问题-分角线相等的三角形:初等几何机器证明问题目录

第1章一个古老问题：两条内分角线相等的三角形是等腰三角形第2章传统证法与机器证法第3章机器证法举例第4章机器证法大意第5章机器证法再举例第6章回到前面的古老问题第7章 “两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗? 附录大智为师——吴文俊先生访谈录进一步阅读的参考资料

展开全部

Steiner问题-分角线相等的三角形:初等几何机器证明问题作者简介

吴文俊 1919年5月出生于上海，1940年毕业于上海交通大学数学系，著名数学家，中国科学院院士。吴文俊院士的研究工作涉及数学的诸多领域，包括代数拓扑学与微分拓扑学、代数几何学、微分几何学、对策论及中国数学史、数学机械化理论、应用数学等领域。在拓扑学方面，他得到了关于示性类、示嵌类等领域内许多独特的见解，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。这些重要成果被称为“吴文俊示性类”“吴文俊公式”，此外他还引入了新的拓扑学不变量。在机器证明方面，他提出了**性的概念、证明方法等内容，解决了平面几何与初等微分几何的机器证明问题，并在电子计算机上得到了实现，并且他还得到了用机器实现和创造定理的重大成果。在中国数学史方面，他提出了对中国古代在数论，代数，几何等方面成就的精辟见解。吴文俊院士在数学上做出了许多重大贡献，至今还有许多重要成果被国际同行广泛引用，影响深远，享誉世界。

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐