图论及其应用 第4版 【数理化】

层论及其上同调理论 【数理化】

图论及其应用 第2版 【数理化】

模型论及其在计算机科学中的应用 【数理化】

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...

矩阵论及其应用 【数理化】

本书为矩阵论及其应用的英文教材。全书共分8章，主要介绍线性空间与线性变换、矩阵范数、矩阵分解、特征值估计、广义矩阵以及特殊矩阵。

图论及其算法 【数理化】

本书内容包括：图的基本概念、树、距离与连通性、图的遍历问题、图的匹配与独立集、图的染色、平面图、网络流、图参数值等。

论非线性发展方程求解中辅助方程法的历史演进 【数理化】

本文从“吴消元法”的发明得到启示，利用“新方法论”对2009年以前的辅助方程法和试探函数法有关的大量文献进行认真比较和仔细分析研究，获得了这两种方法的构造性和机械化性。在第四章中总结了试探函数法的构...

现代极限理论及其在随机结构中的应用 【数理化】

本书是“现代数学基础”系列中的一本。现代科学的发展，对概率论提出了越来越高的要求。经典的极限理论以研究随机变量序列部分和序列的极限性状为己任，近代极限理论则主要研究部分和过程向布朗运动的强弱逼近...

实变函数论及其习题与解答 【数理化】

多复变函数论 积分表示及其应用 【数理化】