系统
量子连续变量系统的信道和纠缠
《量子连续变量系统的信道和纠缠》,作者:陈小余著 出版社:科学出版社 ISBN:9787030274113。本书系统、详细地介绍了量子信道用于传输经典信息的经典容量，用于传输量子信息的量子容量及其编码定理，以及量子纠错编码的基本理论，论述了经典容量的不可加性和量子容量的不可加性。着重研究了量子连续变量系统的信道和纠缠两个相互联系的论题。
公理化集合论机器证明系统
《公理化集合论机器证明系统》,作者:郁文生,孙天宇,付尧顺 著 出版社:科学出版社 ISBN:9787030640390。 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义
