本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书100%为正版，请放心购买！ 基本信息 书 名 可积系统中的非线性波 出版社 中国科技出版传媒股份有限公司 作 者 扎其劳著 出版时间 20180801 I S B N 9787030583291 定价 98 开 本 16开 185*260 装 帧 平装 版 次 1 字 数 304 (千字) 页 数 241 读者范围
本书自1992年9月出版以来，深受教师和学生的欢迎。在第二、三版中，作者根据读者提出的宝贵意见，以及在教学实践中的体会，对本书内容做了进一步修改与完善。 本版是第四版，其修订的指导思想是：在本书原有的框架和内容做尽可能少的改动下，让教初等数论的老师觉得更好用，学初等数论的读者觉得更易学，特别是自学。在本版中，除了附录四之外，内容整体上没有增加或减少。本次修订主要做了以下几点修改：将习题中一些较难的或需要用到大学数学知识的非基本题加上了星号“*”，以便读者区分；在附录四中增加了从2013年至2023年与初等数论有关的国际数学奥林匹克竞赛（IMO）试题；对书中部分内容的叙述做了少量必要的修改，以便读者更好地理解和掌握；改正了书中一些印刷错误及误漏。这些修改，对教与学都应该是有帮助的。 本书是大学“
书号:9787519308162 书名:数学姓童(童话数学趣味教育)(精) 定价:98 注：预售品种请单独下单，与预售品种一起拍的品种默认和预售品种一起发货！
为了帮助报考管理类研究生入学考试的考生更好地复习、备考数学，编者按照考试大纲的要求，结合众多考生的基础，全新变革编写本书.在保持优点、特色的前提下，继续定位精品辅导教材，努力体现创新教学理念，激发学生自主学习能力，打破常规应考模式，提高灵活应试能力. 全书按照考试大纲的要求分为算术、代数、几何、数据分析部分，共十一章. 每章分五个小节，节大纲解读，利用数字化导图及历年真题分布表引导读者洞察考向，一览考纲全貌；第二节重点考向和第三节难点考向，将模块、考点及考向进行数字化编码，将考点讲解与考向例题紧密结合，可以快速夯实基础，拾起多年遗忘的考点，让你居高临下，解决考试难点；第四节基础自测题和第五节综合提高题，助你融会贯通，掌握知识脉络，让考试尽在掌握之中.本书后附上一套过关检测题和近三
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
汤家凤2023考研数学汤家凤复习大全数学二汤家凤复习全书数二 可搭配汤家凤辅导讲义
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书0%为正版，请放心购买！ 基本信息 书 名 线性模型的参数估计和预测理论（英文版） 出版社 科学出版社 作 者 胡桂开 出版时间 2019-04-01 I S B N 9787030594280 定价 78元 开 本 16开 装 帧 平装 版 次 字 数 页 数 读者范围
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
暂无内容简介。。。。。。
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书100%为正版，请放心购买！ 基本信息 书 名 解非线性方程(组)的多点迭代法研究 出版社 中国科技出版传媒股份有限公司 作 者 王晓锋;张盛;李静;翟军昌著 出版时间 20190401 I S B N 9787030608215 定价 99 开 本 16开 185*260 装 帧 平装 版 次 1 字 数 258 (千字) 页 数 194
1.超过100种考研数学常见题型。 2.整体体系好，内容全面，涵盖考研大纲知识点。 3.与三本讲义相辅相成，和汤老师的课程十分适配。
.
考研数学复习一般分为基础阶段、强化阶段和冲刺阶段，其主体及重点在于强化阶段。在这个阶段考生首先要用相对集中的时间做大量的题目训练，在练习之后考生应做好总结工作，对经典型、针对性、预测性的题目多加分析，由此本书应运而生。本书以考研命题所使用的所有题目源头为依据，精心挑选和编制了数百道题目。利于考生在复习过程中开拓思路，练习分析问题，解决问题的能力。本书内容包括高等数学（微积分）、线性代数、概率论与数理统计，题目类型有选择题、填空题、解答题构成。
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书均为正版，请放心购买！ 基本信息 书 名 集合论导引（*卷） 出版社 中国科技出版传媒股份有限公司 作 者 冯琦著 出版时间 20191201 I S B N 9787030636218 定价 138 开 本 16开 185*260 装 帧 平装 版 次 1 字 数 413 (千字) 页 数 299 读者范围 大学
普林斯顿数学指南(第2卷) 定价 148.00 出版社 科学出版社 版次 1 出版时间 2018年08月 开本 16开 作者 (英)Timothy Gowers主编;齐民友译 装帧 平装 页数 0 字数 0 ISBN编码 9787030393036 本书是由Fields奖得主T.Gowers主编、133位著名数学家共同参与撰写的大型文集。全书由288篇长篇论文和短篇条目构成，目的是对20世纪*后一二十年纯粹数学的发展给出一个概览，以帮助青年数学家学习和研究其*活跃的部分，这些论文和条目都可以独立阅读。原书有八个部分，除第Ⅰ部分是一个简短的引论、第Ⅷ部分是全书的
