数学原来是这样的

数学到处充满了神秘的气息，俨然成为了一方神奇的世界。本书给孩子们讲解了很多关于数字的故事，揭秘各种数字的神秘和神奇存在。比如阿拉伯数字为什么不是阿拉伯人发明的，数字是怎么来的？等等。数学到处充满了神...

平面几何定理的机器证明

几何定理机器证明的基本原理 初等几何部分

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

量子机器学习中数据挖掘的量子计算方法

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

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

科学可以这样看 物理学的未来

本书以一种前所未有的方式看待世界，以最可信、最权威的视野全新展现21世纪的蓝图，汇集了世界上300多位最顶尖科学家的远见卓识和科技成就，描绘了从今天起至2100年这100年人类将会取得哪些革命性的科学进展，这些...

几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

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

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

数学名著译丛 控制论 或关于在动物和机器中控制和通讯的科学