《中国数学大纲》是按时代先后的顺序而编写的断代体的中国数学史著作，在国内（包括港台地区）曾多次印刷，流传较广。此书在1940年还被译成日文出版（岛本一男、薮内清共译，东京生活社）。本书是1958年前最为完整详尽的一部中国数学史，全面介绍了清末以前中国主要的数学著作和数学成就，并为西汉至清末138位数学家作了小传。本书也是李俨先生近40年中国数学史研究成果的系统总结，反映了《中国算学史》以后若干新的成果，本书除立足于数学著作外，旁征博引，经、史、子、集，佛、道各家，无所不用，内容翔实，资料丰富。晚年李俨先生又对修订本作了若干补充和修正。

《凸分析讲义——共轭函数及其相关函数》重点介绍了回收锥、凸函数的连续性、凸集的分离定理、凸函数的共轭函数及支撑函数、凸集的极及其相关内容。这一部分是分析约束优化问题理论性质尤其是对偶理论的基础工具。为了增强可读性，《凸分析讲义——共轭函数及其相关函数》将抽象的概念尝试用简单的例子和直观的图像来表达，以期读者对《凸分析讲义——共轭函数及其相关函数》内容有更形象深刻的理解和把握。同时，将知识点与*优化方法部分前沿研究内容进行有机结合，试图让读者看到这些基础理论和概念在前沿科学研究课题中的有机应用。

《图论导引》主要分为基础知识与应用两个部分. 在基础知识部分， 系统地介绍了图论的基本概念、理论和方法， 具体内容包括图的基本概念、树、图的连通性、平面图、匹配理论、Euler 图与 Hamilton图、图的着色、有向图、网络流理论以及图矩阵与图空间，共十章. 在应用部分， 主要介绍了近年来图计算方面的一些典型应用和系统， 具体内容包括无标度图与图计算系统两章. 每章后面都附有一定数量的习题， 供读者练习和进一步思考.

本书是一部全面论述非线性区间优化设计理论与方法的专著。全书共13章，首先，从数学规划理论的层面提出了一种能处理一般性不确定优化问题的非线性区间优化的数学转换模型，实现了区间优化向确定性优化问题的转换；接着，基于数学转换模型开发了多种具有一定工程实用性的高效区间优化算法，其中着重解决了两层嵌套优化造成的效率低下问题；然后，将非线性区间优化拓展至多目标、多学科、参数相关性等问题，并构建了相应的区间优化模型及求解算法；*后，将相关方法应用于机械工程及相关领域的一些实际工程问题，在解决问题的同时验证了理论与方法的有效性。

环论是抽象代数学中较为深刻的一部分，亦为结构数学的重要分支之一，按照乘法是否满足交换律，可以被划分为交换环论和非交换环论。自19世纪开始，经过众多数学家的辛勤耕耘，环论在20世纪二三十年代形成抽象而又具有结构性的理论，并渐生诸多应用。《环论源流》在前人工作的基础之上，从不同角度对环论的历史进行考察；从思想史角度剖析环论的演化，探讨环论与其他相关学科之间的关联，认识在环论发展过程中起主导作用的集合论、公理化、抽象化和结构化等思想；同时从数学文化史的角度，探讨数学家之间的师承关系及其对数学思想的影响。这对于更加深刻地理解和认识环论及其相关学科具有一定的理论价值和现实意义。

《变指标函数空间理论及应用》论述变指标函数空间理论的*新进展。《变指标函数空间理论及应用》内容包括：变指标函数空间和模空间的基本性质；Hardy-Littlewood极大算子在变指标Lebesgue空间、变指标Herz型空间和变指标加权Lebesgue空间上的有界性，以及度量测度空间上的极大算子在变指标空间上的有界性；多重奇异积分算子在变指标空间上的有界性；常指标加权Sobolev空间及变指标Sobolev空间的一些刻画；取值于Banach空间的变指标函数空间的基本性质和*佳逼近刻画。

《半线性子结构逻辑的标准完备性（英文）》系统阐述模糊逻辑标准完备性证明的各种方法和理论，为初学者尽可能多的提供理论和技术上的细节，使其能尽快进入这一课题的研究工作。特别地，较为详细的介绍了作者在这些方面所做的工作，对IUL完备性的证明进行了详细的论述，并针对主算法的*困难部分给出了实例，这在一般地论文写作是不可能的。

目前，素数变量丢番图逼近问题是数论领域的一个重要研究内容。本书利用近几年在圆法和筛法上的突破和创新系统地论述了在素变数丢番图逼近方面取得的成果。本书系统地研究了一次、二次、三次以及高次素变数丢番图逼近问题。给出了二元一次型素变数丢番图逼近的新的例外集结果；在二次上，把华林-哥德巴赫问题上经典的华罗庚定理推广到了素变数丢番图上，给出了逼近结果；在三次上，给出了五个素数和九个素数立方的丢番图逼近的结果。本书内容重点突出，论证计算详尽，可供数论及数论应用方面的研究人员参考。

时间序列的异常点是用户产生的不符合预期行为模式的数据。研究异常点的起因和可能引起的后果，可以辅助用户提供有效的决策支持。例如针对电子商务个性化推荐的托攻击会产生大量异常的评价数据，研究这些异常数据的起因，判断可能的风险，可以为用户的个性化推荐提供更精确合理的服务。由于技术的发展，当前时间序列数据之间关系的复杂化以及异常种类的增多导致已有的异常检测算法很难有效地发现异常。因此，如何从这些异常数据中提取特征，精确地对异常进行检测是当前时间序列研究中的一个重要方向。本书从用户行为模式的角度，分析正常数据和异常数据的特征，并结合信号处理、模式识别的方法，分别对推荐系统中项目的评分时间序列和流量工程中的流量时间序列进行异常检测。主要工作是：基于用户正常行为模式的时间序列异常检测和预测，以及基于用户异常行为模式的时间序列异常检测。

本书是现代科技学院的校本教材，是为普通高校和高职高专学生编写的基础课教材《高等数学》，内容包括函数与极限、导数及其应用、不定积分、定积分与其应用、空间解析几何、多元函数微分学、二重积分、微分方程，级数等。