大约有151,454项符合查询结果项。（搜索耗时：0.2960秒）
为您推荐： 正版机器学习周志华著人工智能及其应用零基础入门书电脑编程程序设计数据分析神经网络与深度 机器证明 几何定理机器证明的案例 几何定理机器证明的基本原理 python大数据分析与机器学习商业案例实战 并联机器人刚体动力学分析
-
-
-
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
思考机器探案集 完美的不在场证明
（美）杰克·福翠尔著2012 年出版250 页ISBN：9787548407485本书收录了美国著名侦探推理小说作家杰克·福翠尔的多篇经典短篇小说，语言生动，情节设计巧妙，逻辑严谨。小说中塑造的主人公杜凡森教授，被誉为“美国的福尔摩斯”，他敏锐的直觉和精湛的推理能力，为读者献上一场.....
-
论初等几何定理的机器证明与消去法
朱望规著2016 年出版257 页ISBN：9787118105155本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......
-
KEBA机器人控制系统基础操作与编程应用
钟健，鲍清岩主编2019 年出版199 页ISBN：9787121368899本书依据企业岗位能力需求分析结果并综合实践教学经验的基础上编写而成，主要内容包括认识工业机器人、 KEBA机器人控制系统常用硬件及连接、示教器基本操作、直线及相关运动编程、圆弧及相关运动编程、工具...