王者之路 机器证明及其应用

机器学习方法在磷酸铝分子筛定向合成中的应用

本书采用基于统计的机器学习理论和方法对磷酸铝分子筛进行了大量的数据挖掘工作，主要介绍了一些经典的机器学习方法，并在磷酸铝合成数据库上进行了一系列的应用研究，主要包括以下内容：①估计缺失的合成参数，完善...

数理逻辑与机器证明

机器学习方法在电磁逆散射问题中的应用研究

本书较为系统、全面地论述了机器学习方法的概念、原理、方法、流程和步骤及其在若干电磁逆散射领域中的应用。全书共分11章，内容包括绪论、机器学习方法、逆散射问题描述及模型建立、机器学习方法在二维介质...

方程求解与机器证明 基于MMP的问题求解

正则化深度学习及其在机器人环境感知中的应用

深度学习技术在图像分析、语音识别、自然语言理解等难点问题中都取得了十分显著的应用成果。然而该技术在机器人感知领域的应用相对而言仍然不够成熟，主要源于深度学习往往需要大量的训练样本来避免过拟合、...

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...

用图形计算器学微积分 图形计算机器与大学数学

本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。

控制论 关于动物和机器的控制与传播科学 英文

1947年10月，维纳写出划时代的著作《控制论》，1948年出版后，立即风行世界。维纳的深刻思想引起了人们的极大重视。它揭示了机器中的通信和控制机能与人的神经、感觉机能的共同规律；为现代科学技术研究提供了崭新...

不等式机器证明与自动发现

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......