当前位置：首页 > 名称
大约有3,172项符合查询结果项。（搜索耗时：0.0527秒）
为您推荐： 机器人叛乱 在达尔文时代找到意义 title机器人叛乱 在达尔文时代找到意义 中华帝国晚期的叛乱及其敌人 title叛乱展现 艾森斯坦号的逃亡 安禄山叛乱的背景 华北的叛乱者与革命
-
-
-
-
-
-
-
-
-
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
学科分类
出版时间