当前位置：首页 > 名称
大约有498,453项符合查询结果项。（搜索耗时：0.5504秒）
为您推荐： 挑战思维极限 勾股定理的365种证明 短线是银 之七 挑战炒股极限 极限挑战 魔线 星座篇 几何定理机器证明的基本原理 一人公司起步的思维与挑战 勾股定理的证明
-
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
素数分布定理与哥德巴赫猜想的证明
谢必成著2015 年出版158 页ISBN：97875647333842000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“......
-
-
-
-
-
学科分类
出版时间