幻方研究与构造方法 【数理化】

本书内容包括三部分，第一部分介绍幻方通用衍生、特殊衍生，特别是引进“双行双列交换”；第二部分介绍了笔者根据幻方衍生原理，独创的生成全部N阶幻方的五步法，并且通过用部分均衡样品的计算得出六阶幻方总个数的....

函数构造的理论与应用 谢庭藩文集 【数理化】

本书共分成六个部分，主要研究的是用有限差的积分代替连续性模来给出Fourier级数绝对收敛的条件；Fouriei和Vall6ePoussin和以及Euler和对函数的逼近；多项式、逐段多项式以及插值多项武对函数的逼近，并系统综述了...

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

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

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

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

碳材料化学与工学 【数理化】

结构与材料 上 【数理化】

治学的方法与材料及其它 【数理化】

损伤力学与复合材料损伤 【数理化】

聚合物科学与材料 【数理化】

化学分析知识与材料分析方法 【数理化】