本书是作者根据多年从事高等代数与解析几何课程教学的经验编写而成的。本书分上、下两册。上册主要包括：空间向量、平面与直线、矩阵初步与n阶行列式、矩阵的秩与线性方程组、多项式、矩阵的相似与若尔当标准形；下册主要包括：常用曲面、二次型与矩阵的合同、线性空间、线性变换、欧氏空间。本书在编写中将二次型及其矩阵的特征值这一历史上的经典问题作为引入整个课程内容的一条叙述主线，将高等代数与解析几何有机地结合起来。本书合理地引入了每一个重要概念，给出了主要定理的推理步骤，设置了不少经典例题和习题来指导学生理解和运用这些定理。
本书是Springer《Graduate Texts in Mathematics》系列丛书第150卷。为了更好的理解交换代数，运用几何的观点去研究交换代数，也就是代数几何学观点，是本书的一大特色。作者从基本观点——局部化以及自分解理论出发，通过对维数理论、微分理论、同调方法、自由解理论和对偶性的研究，强调该理论的出发点以及它们与数学其他部分的联系，练习中大量的引用强化了对该理论的理解。本书的还专门运用了一章来讲述Grobner基本观点以及基于这个关点的对交换代数以及代数几何很有建设性的方法。
本书是沙法列维奇代数几何基础教程的第1卷。本书作者是当代著名的苏联/俄罗斯代数几何学家，是一位有性，知识极为渊博的数学家。作者的代数几何基础教程问世（俄文版1972年初版，英文版1977年初版）40多年来，一直被视为一部重要的代数几何经典名著。与同类书相比，本书内容全面，详尽，注重给出抽象理论的几何背景和起源，并配有充分反映几何本质的实例和图解。本书所需预备知识仅限于代数基础，是高年级本科生和研究生学习代数几何的优选教材。
本书是沙法列维奇代数几何基础教程的第2卷。本书作者是当代著名的苏联/俄罗斯代数几何学家，是一位有性，知识极为渊博的数学家。作者的代数几何基础教程问世（俄文版1972年初版，英文版1977年初版）40多年来，一直被视为一部重要的代数几何经典名著。与同类书相比，本书内容全面，详尽，注重给出抽象理论的几何背景和起源，并配有充分反映几何本质的实例和图解。本书所需预备知识仅限于代数基础，是高年级本科生和研究生学习代数几何的优选教材。
《高考数学压轴题解题诀窍（上）》以高考数学压轴题为主，用巧妙的方法分析及解答压轴题，大大提高解压轴题的效率。首先，对近七年高考数学压轴题题型进行分析和复习建议。其次，从知识内容的角度分析高考数学压轴题中常见题型的解题诀窍。包括圆锥曲线问题、导数及其应用问题、数列问题、不等式问题。内容独特，题型全面，针对性强，是提高数学水平的理想用书。
本书首先介绍MATLAB语言程序设计的基本内容，在此基础上系统介绍各个应用数学领域的问题求解，如基于MATLAB的微积分问题、线性代数问题的计算机求解、积分变换和复变函数问题、非线性方程与*化问题、常微分方程与偏微分方程问题、数据插值与函数逼近问题、概率论与数理统计问题的解析解和数值解法等；还介绍了较新的非传统方法，如模糊逻辑与模糊推理、神经网络、遗传算法、小波分析、粗糙集及分数阶微积分学等领域。本书可作为一般读者学习和掌握MATLAB语言的教科书，高等学校理工科各类专业的本科生和研究生学习计算机数学语言的教材或参考书，可供科技工作者、教师学习和应用MATLAB语言解决实际数学问题时参考，还可作为读者查询某数学问题求解方法的手册。
本书是Springer《数学研究生教材》第142卷（GTM142），初版于1991年，这是第3版。本书内容包括现代实分析与泛函分析基础理论，全书分6部分，共23章。本书的读者对象为数学及有关专业的研究生和科研人员。
本书共24讲，主要包括数列与函数极限，函数的连续与间断，导数与微分的概念及法则，微分中值定理与洛必达法则，函数单调性与极值问题，不定积分，定积分的概念、理论与计算，定积分的几何应用与物理应用，向量及其运算，曲面与曲线，多元函数微分学，二重积分和三重积分，曲线与曲面积分，无穷级数，微分方程。 本书的主要特点是与教材同步，内容分级，以满足不同层次和不同类型读者的需要。本书各讲结构相同，包括内容提要、重点难点、典型方法与例题、习题四部分。 本书作为教学参考书，供高等学校师生参考，也可作为考研的辅导教材。
该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。
《混沌数学基础》主要从数学角度讲述混沌的概念、性质、基本理论与解析判定方法。《混沌数学基础》引入了Li—Yorke混沌与Devaney混沌概念并讨论其条件化简问题，证明了三角帐篷映射、蒙古包映射、符号空间上移位映射以及平面Smale马蹄映射等映射或系统的混沌性，给出了“周期三意味着混沌”的详细证明，证明了Devaney混沌与Li—Yorke混沌等在拓扑共轭下的不变性，讲述了拓扑熵及其与Li—Yorke混沌的关系等并展示了用Melinkov定理判别系统混沌性的方法。
该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。
《先驱者的足迹—高等数学的形成》一书于2004年由东北大学出版社印刷出版，并于2005年第二次印刷。现有的高等数学教材及习题集等书籍早已琳琅满目，单纯叙述数学史的书籍也日渐增多。但阐述高等数学主要概念的发展、演变历史以及其中包含的深刻思想的书籍并不多见。 版图书的出版目的在于为大学高等数学提供配套的读物作为课堂内容的补充，能够让学生了解到课本中所学内容的产生、发展、思想方法及相关发明者的奋斗过程。同时大学数学教师也需要这样的参考资料以丰富自己的教学内容。在河北省科学技术厅科普原创资助专项（项目编号：15K56227D）的资助下，第二版图书得以出版。这次再版图书将读者范围从大学生、大学数学教师以及数学爱好者，扩展到了中学生以及年龄更小的数学爱好者。内容仍以 版图书为基础，从数学的起源与早期发展、初
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿、卡内基-梅隆、英国、德国汉堡、加拿大多伦多、荷兰 Vrije，印度理工学院在
