本书以 Python 软件为基础, 详细介绍了数学建模的各种常用算法及其软件实现, 内容涉及高等数学、工程数学中的相关数学实验、数学规划、插值与拟合、微分方程、差分方程、评价预测、图论模型、多元分析、Monte Carlo 模拟、智能算法、时间序列分析、支持向量机、图像处理等内容, 既有对算法数学原理的详述, 又有案例和配套的 Python 程序. 本书含有 Python 快速入门基础, 可以帮助 Python 零基础的读者快速掌握Python 语言. 但对于没有其他任何编程语言基础的读者, 建议参考一些更加具体的 Python 相关书籍.

《矩阵计算》是已故美国科学院院士、美国工程院院士吉恩 戈卢布（Gene H. Golub）等人的经典巨著，是矩阵计算领域的标准性参考文献。本书系统介绍了矩阵计算的基本理论和方法．内容包括：矩阵乘法、矩阵分析、线性方程组、正交化和*小二乘法、特征值问题、Lanczos 方法、矩阵函数及专题讨论等．书中的许多算法都有现成的软件包实现，每节后附有习题，并有注释和大量参考文献．第4 版增加约四分之一内容，反映了近年来矩阵计算领域的飞速发展。

本书系统介绍了凸分析基础的五个核心部分。①涉及与凸集理论有关的线性子空间、仿射集、超平面、凸包、单纯形、闭包、内部、相对内部、凸集分离和支撑超平面等基本性质和一些重要定理。②涵盖了与凸锥有关的顶点锥、锥包、凸锥包、回收锥、共轭锥（正极锥）、负极锥、法锥与切锥、障碍锥、凸锥分离、多面体、多面锥和多面体集等基本性质和重要定理。③细述了实值(有限值)凸函数、可微凸函数、正常与非正常凸函数、复合凸函数、半连续凸函数、闭凸函数、连续凸函数和Lipschitz连续凸函数、共轭凸函数、支撑凸函数、规范凸函数、严格凸函数、半严格凸函数、显凸函数等性质和定理。④阐述了拟凸函数、半严格拟凸函数、显拟凸函数、伪凸函数、二次可微广义凸函数和广义单调性等广义凸函数的基本理论与性质。⑤讨论了凸函数的微分学基本理论，

2019年是中华人民共和国成立70周年。70年来，中国教育学已经有了长足的发展。展望未来，新时代背景下中国教育学如何继往开来，接力发展，需要我们很好地去梳理已有的研究成果，准确定位中国教育学的发展历程和水平，明确未来的研究方向。该套丛书以国家重点课题 中华人民共和国教育学发展研究 为依托，集合全国教育学科各学科专业领军专家，作者队伍强大。从学理层面来看，教育学史越来越凸显其在教育学发展过程中的重要作用。对中国教育学史的研究，既是为了镜鉴现实，为了推动教育学术的传承和发展，又是为了推动我国教育学术的传承和发展以及为了保存和传播教育学发展的积淀。从读者需求方面来看，研究和学习教育学的人需要很好地了解本学科的发展史，明确自己研究的基础和学科定位。该丛书总共12卷本，每本书预计20万字，全套丛书预计2

本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分析的坚实基础.在分析基础形式化系统下,给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明,这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等,基于实数的完备性定理,作为应用,进一步给出闭区间上连续函数的重要性质——有界性定理、最值定理、介值定理、一致连续性定理——的机器证明.另外,还给出张景中院士

本书共分三卷。 上卷共分五编，分别为 编近世几何学初编，第二编几何作图题解法及其原理，第三编初等几何学作图不能问题，第四编几何作图题及数域运算，第五编奇妙的正方形。 本书适合大学生、中学生及平面几何爱好者。 中卷共分四章，分别为 章圆周的答分和正多边形，第二章线的连接，第三章比例，斜率和锥度，第四章曲线。 本书适合大学生、中学生及平面几何爱好者研读。 下卷共分六编，分别为： 编D·希尔伯特论平面几何作图问题，第二编F·克莱茵论平面几何作图问题，第三编И·И·亚历山大洛夫论平面几何作图问题，第四编Л·И·别列标尔金论平面几何作图问题，第五编考斯托夫斯基论尺规作图，第六编平面几何作图问题散论，及附录。 本书适合大学生、中学生及平面几何爱好者。

KdV方程及其高阶方程是一类 重要的浅水波方程，这类方程具有广泛的物理与应用背景。本书介绍了这类方程的物理背景，并给出相应的孤立子解、怪波解。本书着重研究几种重要类型的高阶KdV方程组在能量空间中的一些经典结果，其中包括适定性、长时间渐近性和稳定性结果。利用调和分析的现代理论和方法，本书详细介绍了这类方程初值及初边值问题的低正则性结果。基于可积系统的Riemann-Hilbert方法，本书同时研究了可积的Hirota方程及五阶mKdV方程解的长时间渐近行为，给出了方程解渐近主项的 数学表达式。 本书适合高等院校数学、物理专业的研究生、教师以及科研院所相关领域的科研工作人员阅读。

【全4册】吴文俊全集 数学思想卷 数学史卷 附卷-回忆与纪念 博弈论、代数几何、图的平面嵌入卷 定价 602.00 ISBN编码 9787508855554 【6号库】 吴文俊全集 博弈论、代数几何、图的平面嵌入卷 定价 88.00 出版社 科学出版社（中国） 出版时间 2019年05月 开本 B5 作者 吴文俊 页数 0 ISBN编码 9787508855608 内容介绍 本书收录吴文俊发表的愽弈论、代数几何和图的平面嵌入等三个方面的论文。 《关于愽弈理论基本定理的一个注记》是中国博弈论研究的开山之作。《活动受限制的非协作对策》等两篇论文则包含了吴文俊对博弈论*重要的贡献──本质均衡概念的提出及其存在性证明。本质均衡是一类特殊的纳什均衡，吴文俊是能在早期就认识纳什理论的深刻意义并率先作出有生命力的贡献的少数数学家。

本卷是这本《集合论导引》的开卷，分为三章，是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法，并给出典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门引进实数集合并对它进行系统分析。本卷将建立一系列基本概念，为全书作铺垫。

MXene材料发现于2011年，是继石墨烯之后 受关注的二维纳米材料之一，近年来发展迅速，已成为材料、能源、催化、环保、传感等诸多领域研究的前沿热点。本书系统地介绍了MXene材料的各种刻蚀和剥离方法，分析了MXene材料的组成、结构及其在电、磁、光、热、机械等方面的基本性质，重点梳理了MXene材料在 电容器、锂/钠/钾离子电池、锂硫电池和水系锌离子电池等 电化学储能体系中的应用方式和性能特点，并探讨了MXene材料作为多功能导电黏结剂在电极成型中的应用。本书汇集了 外研究者在MXene材料及其电化学储能领域的**研究成果，并结合作者的研究对其发展方向和趋势进行了分析和展望。全书共8章，包括MXene材料概述、MXene材料的制备、MXene材料的结构与性质、MXene在 电容器中的应用、MXene在碱金属离子电池中的应用、MXene在锂硫电池中的应用、MXene在水系锌离子

《线性回归的相对有效性和估值漂移》根据作者多年从事测量数据处理的教学与研究工作成果撰写而成。《线性回归的相对有效性和估值漂移》讨论和确定了常用稳健估计方法的相对有效性，以及总体*小二乘法与*小二乘法、稳健总体*小二乘法与稳健*小二乘法线性回归在不同误差模型影响下的相对有效性；提出了参数估计方法线性回归估值漂移的概念，讨论了*小二乘法和总体*小二乘法线性回归估值漂移的相关问题，建立了判定估值漂移的基本方法；讨论了一元线性回归自变量的优化、可线性化的一元非线性回归中直接观测值与间接观测值回归的差异和总体*小二乘法验后方差因子的实用性。

陶哲轩教你学数学 定价 39.00 出版社 人民邮电出版社 出版时间 2017年11月 开本 32开 作者 [澳]陶哲轩（Terence Tao） 页数 0 ISBN编码 9787115468949 内容简介 陶哲轩教你学数学 是天才数学家陶哲轩的第1本书，论述解决数学问题时会涉及的各种策略、方法，旨在激发青少年对数学的兴趣。书中涵盖的内容包括：数论、代数、分析、欧几里得几何、解析几何。 适合对数学感兴趣的青少年阅读。 作者简介 陶哲轩（Terence Tao）， 1975年出生，享誉世界的澳籍华裔天才数学家，智商超过220，被誉为 数学界的莫扎特 。12岁获得国际数学奥林匹克竞赛金 牌（这项纪录目前无人打破），2006年获得数学界的诺贝尔奖 菲尔兹奖，2007年当选英国皇 家学会会士。曾与本 格林合作解决了2300年前由欧几里得提

【全5册】吴文俊全集·数学机械化I+II+III+IV+V 定价 970.00 ISBN编码 9787508855547 【6号库】 吴文俊全集·数学机械化I 定价 188.00 出版社 科学出版社（中国） 出版时间 2019年06月 开本 B5 作者 吴文俊 页数 0 ISBN编码 9787508855509 内容介绍 本卷收录了吴文俊的MathematicsMechanization:MechanicalGeometryTheorem-Proving,MechanicalGeometryProblem-SolvingandPolynomialEquations-Solving一书.本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述.本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此