全书共分为7章。章包含了关于深度、Krull维数以及CM性质等的一些核心结果或者基本事实；其中关于标准代数的CM性与分次CM性的等价性、序列CM性的代数描述两部分内容十本书的特色和贡献。第二章是讨论单纯复形的基本事实，特别是描述了两个代数不变量（由复形构造的面环的深度、Krull维数）与复形的拓扑不变量之间的确切关系）。第三章讨论复形的shellable性质，特别是详细推出其用restrictionmap进行的等价刻画、与d-可分性之间的等价关系，是对于shellable性质的深刻描述和讨论。第四章介绍了如何由拓扑复形构造代数链复形，介绍相应的导出同调群，并重点介绍了近代文献中有较多应用的Koszul复形以及三种常用复形的详尽构造。第五章是本书的核心和重点，全面深刻的介绍CM复形、shellable与CM的关系、线性预解式与线性商，如何从图出发构造好的拓扑与代数复形。第五章包含了作者**的研究成果，也综述了多个研究专题（包含作者和业界核心专家的成果）。第六章主要介绍Bejorner等人的近期成果，主要是讨论如何从偏序集出发构造系列的shellable复形等。第七章是专门讨论正则度的，既包含中心的传统结果，也包含了作者等人的近期研究成果。

本书是高等院校本科生概率论与数理统计课程的教材。本书第一版于2011年出版，为了更加适应新时代本科教育教学、新工科新专业新发展的需要，也为了更加适应一流专业一流课程建设的需要，广泛吸收住那也认证的先进理念，丰富阅读内容、提高阅读舒适感，本书做了修订。在内容上做了适当的修改，并修改了相应的例题与习题。每章增设了近年来部分考研真题作为复习题。部分习题提供了详细解答。本次修订将有利于读者通过更多渠道、更多方式获取更多新知识、新方法和新思想。

本书为英文原版，内容简介如下：本书是一部英文版的数学随笔集，中文书名可译为《几何、分析和数论精编》，本书作者为约瑟夫.桑德尔，他是罗马尼亚可鲁日大学数学系教授。他曾是15本国际期刊的编辑，是500多篇科学论文和400多篇方法科学论文的作者或共同作者。他已经出版了关于数学不同领域的图书12本。

《初中数学拓展性课程教学案例精选》甄选了一些初中数学拓展性课程教学的优秀案例，共分为四篇。第一篇为生活数学与应用类案例解析，第二篇为数学实验与探究类案例解析，第三篇为数学思想与方法类案例解析，第四篇为知识延伸与拓展类案例解析。《初中数学拓展性课程教学案例精选》定位明确、内容丰富、选材合理、结构严谨、叙述通俗，具有科学性、实用性、时代性、学术性等特点。《初中数学拓展性课程教学案例精选》适合于高中教师及数学爱好者使用。

《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础.在分析基础形式化系统下，给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明，这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等，基于实数的完备性定理，作为应用，进一步给出闭区间上连续函数的重要性质——有界性定理、*值定理、介值定理、一致连续性定理——的机器证明.另外，还给出张景中院士提出的第三代微积分——不用极限的微积分——的形式化系统实现.在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码，所有形式化过程已被Coq验证，并在计算机上运行通过，体现了基于Coq的数学定理机器证明具有可读性和交互性的特点，其证明过程规范、严谨、可靠.该系统可方便地应用于数学分析相关理论的形式化构建.

本书严格按照**《全国硕士研究生招生考试经济类专业学位联考综合能力考试大纲》数学部分的考试要求进行编写，并依循历年考试命题思路、方法和原则，帮助广大考生准确把握考试命题的新动向，新题型。深入挖掘考生的不会的痛点、难点、易错点，生动详细的解释这方面的知识并并结合考试命题方向，有侧重点的讲解考点，附有例题和习题共学生学习练习之用，真正的帮助考生高效备考，高效学习不会的痛点、难点、易错点，使学生达到事半功倍的学习效果。

本书是为了配套由高等教育出版社出版，同济大学数学系主编的《工程数学 线性代数（第六版）》和浙江大学盛骤等主编的《工程数学 概率论与数理统计（第四版）》教材而编写的测试卷合订本。本书立足教材，并配合教学实际情况分别增加了上、下册期末测试卷，便于学生阶段性测试。每套试卷包括试题和解析两个部分。本测试卷可作为本科生学习高等数学课程的课后练习，也可作为教学及考研复习的阶段测验卷。本书特点每一章以及期末试题都提供了A、B两套试卷，A卷注重基础知识能力的考查，适合学生作为平时作业或考前自测；B卷则提高了要求，题目有较强的综合性，适合准备考研或参加数学竞赛的同学使用。（2）每套试卷都参照全新全国硕士研究生入学考试的试题模式进行编排，使得试题的顺序和形式更加合理化、科学化。（3）透彻解析每道题目，层层深入，从试题考查者和做题思考两个角度展现试题内涵。

本书以数学史上四大著名的“古代问题”——化圆为方、三等分角、倍立方、作圆内接正多边形为基础，展现了两千多年来，数学家们为解决这些问题而留下的令人拍案叫绝的思想与成就。尺规作图“不可能”解决的问题成为欧几里得、笛卡儿、牛顿和高斯等数学巨擘攀登数学高峰的阶梯，其解决方法也延伸至整个数学领域，众多重大数学发现皆与它们息息相关。这段探索之旅将读者从古典时期引领到今天，纵观两千年来这四个无法解决的问题如何引导、启发人们数学思维的发展，并发掘了数学史中的种种细节。本书适合对数学及数学史感兴趣的读者阅读。

内容简介本书介绍了用 GeoGebra软件创建物理积件的方法，共有62个案例，涉及高中物理中静力学、万有引力、机械波、磁场等内容。每个案例都用图文介绍创建方法，扫描二维码观看视频，使得学习更加自主有效。本书还介绍了GeoGebra 软件处理实验数据、求高次方程根、gif 动图的生成等功能，读者可以通过案例学习 GeoGebra软件，进一步制作自己需要的积件，教师可以直接使用书中积件进行教学。本书可作为高中物理教师信息技术培训教材、高中物理教师制作积件的自学教材、高校物理师范生培训信息技术的教材，也可以作为高中物理教学研究人员的参考资料。

1.至今还没有一个同样无所不包的统一概念来代替牛顿关于宇宙的统一概念，要是没有牛顿明晰的体系，我们到现在为止所得到的收获，将是不可想象的。2.牛顿由于发现了万有引力定律而创立了天文学，由于进行了光的分解而创立了科学的光学，由于创立了二项式定律和无限理论而创立了科学的数学，由于认识了力的本质而创立了科学的力学。3.牛顿在其科学才华处于时期所撰，绘就经典力学世界图景的旷世巨典，是他“个人智慧的伟大结晶”。《自然哲学的数学原理》标志着经典力学体系的建立，是人类科学史乃至人类文明史的不朽巨著。