几何定理机器证明的案例百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有513,735项符合查询结果项。（搜索耗时：0.5240秒）

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

平面几何证题突破比例线段命题的统一证明规律

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

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

查看PDF目录购买本书
2222 年出版0 页ISBN：
数理逻辑与机器证明

查看PDF目录购买本书
陆钟万著1983 年出版186 页ISBN：7030019199
几何证明与几何学概述

查看PDF目录购买本书
2222 年出版82 页ISBN：
王者之路机器证明及其应用

查看PDF目录购买本书
吴文俊主编1999 年出版195 页ISBN：7535728588
从切比雪夫到爱尔特希上素数定理的初等证明 1 the elementary proof of the prime number theorem

查看PDF目录购买本书
潘承彪著2013 年出版221 页ISBN：9787560339177
本书主要介绍素数定理的七个初等证明以及与之有关的切比雪夫不等式、Mertens定理、素数定理的等价命题、Riemann Zeta函数、几个Tanber型定理、L空间中的Fourier变化、Wiener定理、素数定理的推广等。通过...
平面几何分类证明

查看PDF目录购买本书
李中平著2011 年出版445 页ISBN：
几何与证明

查看PDF目录购买本书
（日）中束正立著；布公译1981 年出版126 页ISBN：13091·65
数学分析中的问题和定理第2卷函数零点、多项式、行列式、数论、几何

查看PDF目录购买本书
G.波利亚，G.舍贵著；张奠宙等译1985 年出版499 页ISBN：13119·1219