极简算法史 从数学到机器的故事 【数理化】

本书呈现了一段妙趣横生的人类思维史。从古希腊哲学到“无所不能”的计算机，数字、计算、推理这些貌似简单的概念在三千年里不断融汇、相互影响、相互塑造。本书描绘了一场人类探索数学、算法与逻辑思维，并最...

几何定理机器证明的几何不变量方法 【数理化】

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

控制论 关于动物和机器的控制与传播科学 英文 【数理化】

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

不等式机器证明与自动发现 【数理化】

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

走进奇妙的数学世界 不可思议的魔法机器 比一比，想一想 点、点、点…… 数字圈圈 数一数水 2 【数理化】

控制论 或关于在动物和机器中控制和通信的科学 第2版 【数理化】

1948年，维纳出版《控制论》一书，标志着一个新兴学科的诞生。维纳把通讯和控制归为一类。本书的主题在于阐明人们只能通过消息的研究和社会通讯设备的研究来理解社会；阐明在这些消息和通讯设备的未来发展中，人与...

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

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

控制论 关于动物和机器的控制与传播科学 中文·英文 双语版 第2版 【数理化】

控制论（cybernetics）的诞生是20世纪最伟大的科学成就之一。现代社会的许多新概念和新技术都与控制论有密切联系。控制论是自动控制、电子技术、无线电通讯、计算机技术、神经生理学、数理逻辑、语言等多种学...

分子器件与分子机器 纳米世界的概念和前景 原著第2版 【数理化】

本书是关于分子器件与分子机器领域的一本学术专著，由意大利著名学者V·Balzani教授等人结合国际上最新的科研成果撰写而成。作者深入浅出地从一些基本概念和相关术语开始，贯穿一条通向纳米世界的捷径的主线，分...

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

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