几何定理的机械化证明百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有507,957项符合查询结果项。（搜索耗时：0.6169秒）

为您推荐：几何定理机器证明的案例几何定理机器证明的基本原理挑战思维极限勾股定理的365种证明证明的故事从勾股定理到现代数学几何最著名24个定理证明及应用几何证明

素数分布定理与哥德巴赫猜想的证明

查看PDF目录购买本书
谢必成著2015 年出版158 页ISBN：9787564733384
2000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“......
数学要项定理公式证明辞典

查看PDF目录购买本书
（日）笹部贞市郎编；高隆昌，王世璠，田景黄，罗朝杰译1990 年出版1087 页ISBN：754080038X
几何的有名定理

查看PDF目录购买本书
（日）矢野健太郎著；陈永明译1986 年出版156 页ISBN：7532304272
谈谈几何中的证明

查看PDF目录购买本书
（苏）А.И.费齐索夫著；姬振豫译1983 年出版59 页ISBN：7072·1321
非线性代数方程组与定理机器证明

查看PDF目录购买本书
杨路等著（华东师范大学软件学院）1996 年出版203 页ISBN：754281379X
几何学中的证明

查看PDF目录购买本书
（苏）菲齐索夫（А.И.Хетисов）著；力人译1958 年出版63 页ISBN：13009·160
分角线相等的三角形初等几何机器证明问题

查看PDF目录购买本书
吴文俊，吕学礼著1985 年出版51 页ISBN：7012·0729
平面几何证题突破比例线段命题的统一证明规律

查看PDF目录购买本书
王启民著1995 年出版527 页ISBN：7538121811
数学难题探索：费尔马大定理和四色问题证明

查看PDF目录购买本书
徐俊杰著2007 年出版106 页ISBN：9787561222003
本书详细地介绍了费尔马大定理的初等证明问题的数学证明方法，同时还运用数学推理方法证明了三次平面图形成定理和边二色回路定理，并进一步证明了四色问题也是成立的。这些证明的思路和方法，对于启发人们数学思...
几何证明与几何学概述

查看PDF目录购买本书
2222 年出版82 页ISBN：