哥德巴赫猜想、孪生素数、素数分布、华林问题，除数问题、圆内整点问题、整数分拆及黎曼猜想等数论问题吸引了古今无数的数学爱好者。《解析数论基础》全面详细地讨论了迄今为止研究这些问题的重要的分析方法、理论和结果，介绍了它们的历史及新进展，是研究这些问题必不可少的入门书。
线性和非线性代数方程组求解是众多科学与工程计算领域的基础共性任务，也是整体数值模拟的关键。本书系统而深入地介绍了迭代方法、预处理技术及其并行计算。迭代法涉及分裂方法、并行多分裂方法、Krylov子空间方法、并行Krylov子空间方法、Newton法及其变形；预处理技术涉及一般代数预处理、问题相关预处理、多层和多重网格预处理以及非线性预处理；为了方便实施，介绍了方法在诸多方面的应用，并用统一框架介绍了网上可得解法器和预处理软件包。
《数学机械化（中文版）》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《数学机械化（中文版）》试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。 全书分成三个部分：部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，《数学机械化（中文版）》还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。 《数学机械化（中文版）》可供数学工作者，数学及计算机专业高年级大学生和研究生以及有关工程人员参阅。
