线性代数与几何（上）
《线性代数与几何》的核心内容包括矩阵理论以及线性空间理论，分上、下两册出版，对应于两个学期的教学内容。上册系统地介绍线性代数与解析几何的基本理论和方法，具体包括行列式、矩阵、几何空间中的向量、向量空间
清华大学出版社
算法设计
算法设计，ISBN：9787302143352，作者：（美）克林伯格（Kleinberg，J.），（）塔多斯（Tardos，E.） 著，张立昂，屈婉玲 译
运筹学教程
本书由国内著名高校长期从事运筹学教学的教师集体编写而成，其内容紧密结合经济管理专业的特点。本书自1998年正式出版以来，第1、2版的累计印数达224000册，说明其使用面之广，并深受读者欢迎。本书系统地讲述了线性
微积分
微积分（II），ISBN：9787302069171，作者：清华大学数学科学系《微积分》编写组编
交互式定理证明与程序开发
《交互式定理证明与程序开发：Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都
趣味数学366
本书荟萃了趣味数学珍文366篇.其中有能影响广大读者一生的著名数学家的生平传略、性格特点和趣闻轶事；也有广大中学生和大学生喜闻乐见且妙趣横生的数学问题、对弈游戏和最新成果；还有困惑数学家们多年至今尚未解决
常微分方程
《高等数学例题与习题集》是一套目前在俄罗斯具有广泛影响的高等数学辅导用书。在我国，无论是高等数学教材的编写方面，还是高等数学的教学方面，都与俄罗斯的高等数学教育有着很深的渊源。因此将这套书译成中文，介
抽象代数基础
本书的主要内容为群论、域上的线性代数、域论和伽罗瓦理论。对于抽象的概念，本书力求通过阐述其与分析、几何、物理和其他应用学科的联系以及通过大量体直观的例子，使读者对抽象代数能有较深入的理解。 书中有充足
离散数学
离散数学（第四版），ISBN：9787302112488，作者：（美）多西（Dossey.J.A.） 等编著，章炯民，王新伟，曹立 译
实用多元统计分析
《实用多元统计分析(第6版)》多元统计分析是统计学中内容十分丰富、应用范围极为广泛的一个分支。在自然科学和社会科学的许多学科中，研究者都有可能需要分析处理有多个变量的数据的问题。能否从表面上看起来杂乱无
泛函分析
《泛函分析:理论和应用》被收入法国著名的《应用数学硕十课程》丛书中。该书自上世纪八十年代出版以来就在法国和世界很多国家被视为学习泛函分析和偏微分方程的主要教学用书，先后被翻译成近十种文字。它严谨、透彻
计算数论
《计算数论》是德国施普林格出版社出版的Number Theory for Computing （2nd Edition）的译作，作者长期从事计算数论与计算复杂性理论的研究，擅长于从数论和计算机科学的结合上研究数论算法和密码算法的复杂性以及
运筹学导论
《运筹学导论》(第8版英文版)是运筹学经典著作，在美国高校有很高的采用率。两位作者是运筹学领域的大师。《运筹学导论》(第8版英文版)内容丰富，覆盖运筹学各个分支，主要内容包括：运筹学建模方法、线性规划、灵敏
最优化方法
最优化方法，ISBN：9787302137825，作者：何坚勇