与达利共闯四维空间 100件你不知道的关于艺术的事 【数理化】

艺术馆需要多少名保安?屏幕高宽比是怎么回事？唱歌跑调怎么办？……英国著名科普作家约翰·巴罗继《无之书》《100个你不知道的关于数学的事》《100个你不知道的关于体育的事》后，继续为你奉上有关数学的科普图...

物理发现的艺术 物理探索中的机智运筹 【数理化】

机智、巧妙、敏锐、坚忍、广博、深邃是物理学家共有的研究风格。在物理学发展的历史长河中，一代代物理学家机智运筹，探索出了物理学研究的一些基本方法，而那些伟大的、天才的物理学家，则把这些基本方法创造性地...

交互式定理证明与程序开发 Coq归纳构造演算的艺术 【数理化】

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

《高等代数与解析几何（下）》习题解析 【数理化】

《高等代数与解析几何（上）》习题解析 【数理化】

解析几何与代数 上 解析几何 【数理化】

应用数学和流体力学研究进展 庆贺戴世强教授70华诞暨从事科研50年论文集 【数理化】

本书为戴世强教授的同事和学生为庆贺戴世强教授从事科研50年暨70华诞而编集的。本文集共收集论文29篇，内容包括应用数学和流体力学方面的前沿性问题，主要有：水波动力学，如水波绕射、溃坝波、水波问题中的奇异性...

半解析函数、共轭解析函数 【数理化】

本书提出了半解析函数、共轭解析函数的全新概念及相应的理论，并说明了这套理论在电磁场、流体力学等领域的应用。

高等数学习题解析 同济四版《高等数学》配套习题解析 【数理化】

线性代数与解析几何习题集解析 【数理化】

本书较为系统地汇总了线性代数与解析几何的基本理论与方法。