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

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

子流形基本对称张量泛函构造与变分 【数理化】

第二基本型是刻画子流形最核心的张量系统，本书利用基本的张量组合原理，从第二基本型出发构造了多种类型的基本对称张量，从代数意义上定义了多种新型子流形。同时，以基本对称张量为依据，构造了多类型的抽象泛函，.....

新编汽车故障诊断与途中应急修理 【数理化】

原子构造概论 【数理化】

函数构造论 下 【数理化】

函数构造论导引 【数理化】

有限群构造 【数理化】

结晶体构造学 【数理化】

有限群构造 下 【数理化】

构造无机化学 2 【数理化】