本书包括空间坐标和向量、矩阵、数列、微分及其应用、积分及其应用、平面几何公理的构造等内容，且附有700道习题及详细解答。 本书取材丰富、命题新颖、结构紧凑，对中学生系统复习并灵活运用所学知识，加强基本功训练，增强解题能力有较大的帮助。 本书适合中学生及数学爱好者参阅。
本书以历年留考真题为基准，准确把握难易度及实际出题范围、倾向，书中题目涵盖了每年真题各种细微的变化，使各科内容与真题情况尽可能接近。此外，在题目解说中，还重点突出了每个问题的要点，让使用者能够 限度地了解自己现阶段的知识盲区及相关易错点。
本书以历年留考真题为基准，准确把握难易度及实际出题范围、倾向，书中题目涵盖了每年真题各种细微的变化，使各科内容与真题情况尽可能接近。此外，在题目解说中，还重点突出了每个问题的要点，让使用者能够 限度地了解自己现阶段的知识盲区及相关易错点。
本书共6章，内容包括绪论，基础理论，扩展有限元法的基本框架，局部网格替代的扩展有限元法，相互作用积分法，LMR-XFEM在线弹性断裂力学中的应用。书后还附有相关资料供读者参考。 本书将理论与实际运算相结合，具有较强的实用性和针对性，可供从事有限元、扩展有限元程序编制和二次开发的研究人员，以及机械、土木、矿业、航空航天工程技术人员和管理人员参考，也可供高等学校力学、土木、矿业和航空航天及相关专业师生参阅。
本书共6章，内容包括绪论，基础理论，扩展有限元法的基本框架，局部网格替代的扩展有限元法，相互作用积分法，LMR-XFEM在线弹性断裂力学中的应用。书后还附有相关资料供读者参考。 本书将理论与实际运算相结合，具有较强的实用性和针对性，可供从事有限元、扩展有限元程序编制和二次开发的研究人员，以及机械、土木、矿业、航空航天工程技术人员和管理人员参考，也可供高等学校力学、土木、矿业和航空航天及相关专业师生参阅。
本书全面介绍平面非光滑系统全局动力学分析的Me1nikov方法及应用。本书主要包括:平面非光滑系统同宿轨道和次谐轨道的Me1nikov方法，平面非光滑混合系统同宿轨道和异宿轨道的Me1nikov方法，平面双边刚性约束非线性碰撞系统全局动力学的Me1nikov方法和平面非光滑振子的混沌抑制等。本书发展的解析分析方法具有几何直观、Me1nikov函数形式简单、易于工程应用的特点。本书通过与光滑系统的Me1nikov方法的比较，展示了为突破系统非光滑而引入的新概念和摄动技术，通过多个实例验证了发展的Me1nikov方法在平面非光滑非自治系统全局动力学分析及混沌抑制中的有效性，极大地丰富了非光滑系统全局动力学的分析方法，可以引导读者尽快进入本领域的前沿。
本书包括空间坐标和向量、矩阵、数列、微分及其应用、积分及其应用、平面几何公理的构造等内容，且附有700道习题及详细解答。 本书取材丰富、命题新颖、结构紧凑，对中学生系统复习并灵活运用所学知识，加强基本功训练，增强解题能力有较大的帮助。 本书适合中学生及数学爱好者参阅。
数据包络分析方法（Dataenvelopmentanalysis,DEA）作为现代综合评价中较为常用的评价理论引起了学者、企业乃至政府的广泛关注。历经四十多年的发展目前已经形成了理论体系较为完善，应用
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统本书利用交互式定理证明工具Cog,实现 Morse-Kelley-公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把 Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是 Morse-Kelley-公理化集合论系统的 形式化实现.在 Morse-Kelley-公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukc引理、 Hausdorff极大原则、极大原则、Zorn引理、良序定理及 Zermelo假定等在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Cq验证并在计算机上运行通过,体
计算机代数是研究符号计算的算法设计、理论分析和计算机实现的学科。《计算机代数》介绍计算机代数的基本知识、算法及其理论依据。主要内容包括数据的表示与基本运算、结式与子结式、整系数多项式的模算法、特征列方
本书包括空间坐标和向量、矩阵、数列、微分及其应用、积分及其应用、平面几何公理的构造等内容，且附有700道习题及详细解答。 本书取材丰富、命题新颖、结构紧凑，对中学生系统复习并灵活运用所学知识，加强基本功训练，增强解题能力有较大的帮助。 本书适合中学生及数学爱好者参阅。
本书包括空间坐标和向量、矩阵、数列、微分及其应用、积分及其应用、平面几何公理的构造等内容，且附有700道习题及详细解答。 本书取材丰富、命题新颖、结构紧凑，对中学生系统复习并灵活运用所学知识，加强基本功训练，增强解题能力有较大的帮助。 本书适合中学生及数学爱好者参阅。
