当前位置：首页 > 名称
大约有600项符合查询结果项。（搜索耗时：0.0080秒）
为您推荐： title证明责任论 第5版 证明责任 违约责任论 修订版 特惠 证明论 现代证明责任 诉讼证明责任与 标准研究
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
-
论双生、对偶、三奇素数组分布 关于《哥德巴赫猜想》、《双生素数猜想》的初等证明
丁大千著2005 年出版131 页ISBN：7810932136本书在研究分析素数分布规律基础上，运用一般数学（非高等数学），用埃拉多斯染尼氏筛法，即古典筛法，找到了双生、对偶、三奇素数组分布计算模式，获得了各精解、简化解及重要结论，对于一些素数组的实际分布情形，......
-
-
-
-
-
-
-
