基本原理
量子化学 : 基本原理和从头计算法. 下册
《量子化学 : 基本原理和从头计算法. 下册》,作者:徐光宪等著 出版社:科学出版社 ISBN:7030006135。本册共分8章，为二次量子化方法、格林函数方法、置换群的和线性变换群的整式表示、李群、李代数、量子散射理论。
几何定理机器证明的基本原理 : 初等几何部分
《几何定理机器证明的基本原理 : 初等几何部分》,作者:吴文俊 出版社:科学出版社 ISBN:15031586。本书论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只须相当于乘法交换律的某一公理成立，大都可以机械化．因此在理论上，这些几何的定理证明可以借助于计算机来实施．可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等．
