基本原理
几何定理机器证明的基本原理 : 初等几何部分
《几何定理机器证明的基本原理 : 初等几何部分》,作者:吴文俊 出版社:科学出版社 ISBN:15031586。本书论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只须相当于乘法交换律的某一公理成立，大都可以机械化．因此在理论上，这些几何的定理证明可以借助于计算机来实施．可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等．
量子化学：基本原理和从头计算法. 中(第二版)
《量子化学：基本原理和从头计算法. 中(第二版)》,作者:徐光宪,黎乐民,王德民 编著 出版社:科学出版社 ISBN:9787030220394。《量子化学——基本原理和从头计算法》（第二版）分为上、中、下三册。上册讲述量子力学的基本原理、处理问题的基本方法和数学工具以及最重要的普遍性结论，中册介绍重要的量子化学计算方法，下册介绍量子化学研究的高级理论方法。本书是中册，共有8章，第9章介绍量子化学
能谱CT的基本原理与临床应用
《能谱CT的基本原理与临床应用》,作者:陈克敏主编 出版社:科学出版社 ISBN:9787030349736。全书分为能谱CT基本原理和能谱CT临床应用两部分，共计11章46节。能谱CT基本原理篇首先回顾了CT发展的历程和能量CT研发的必要性及其实现途径；随后深入剖析了单源瞬时kVp切换能谱成像的物理基础，并介绍了实现该技术所必需的硬件平台、图像分析平台和解析技术；接着从基础实验的角度，
