当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0273秒）
为您推荐： 机器学习 量子机器学习 机器学习导论 机器学习系统 深度强化学习理论及其在机器人运动控制中的应用实践 python卫生健康机器学习基本方法与实践
-
论初等几何定理的机器证明与消去法 【数理化】
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
极简算法史 从数学到机器的故事 【数理化】
（法）吕克·德·布拉班迪尔著；任轶译2019 年出版138 页ISBN：9787115500809本书呈现了一段妙趣横生的人类思维史。从古希腊哲学到“无所不能”的计算机，数字、计算、推理这些貌似简单的概念在三千年里不断融汇、相互影响、相互塑造。本书描绘了一场人类探索数学、算法与逻辑思维，并最...
-
几何定理机器证明的几何不变量方法 【数理化】
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
不等式机器证明与自动发现 【数理化】
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......
-
走进奇妙的数学世界 不可思议的魔法机器 比一比，想一想 点、点、点…… 数字圈圈 数一数水 2 【数理化】
（日）安野光雅著；李玉珍译2013 年出版104 页ISBN：7513308076 -
-
-
-
-
学科分类