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

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

高聚物流变学及其在加工中的应用 【数理化】

网络流优化高效智能算法及其应用 【数理化】

本书共二十五章，前八章介绍网络流优化的八个主要问题（即，网络最短路问题、网络最大容量路问题、网络最大流问题、网络最小费用最大流问题、有上下界网络最大流与最小流问题、有上下界网络最小费用流与最小费用...

二极管阵列检测技术在高效液相色谱中的应用 分享惠普首创的二极管阵列技术及其成果 【数理化】

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

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

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

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

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

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

物理化学 机械热加工及金属材料专业用 【数理化】

优选法在机加工中的应用 征求意见稿 【数理化】

工业木质素高效利用的改性理论与技术 【数理化】

木质素是仅次于纤维素的第二大类天然可在生资源，在矿物质资源日趋紧张的今天，生物质资源高效利用的瓶颈是拓展木质素的利用，因而，木质素的利用吸引了广大科研工作和企业研究人员的极大兴趣。该书依托作者18年木...