文件大小：067.46 MB 吴文俊全集-数学史卷

下载地址：

吴文俊全集·数学史卷
吴文俊
作者:吴文俊出版社:龙门书局出版时间:2022年06月

开 本：16开
纸 张：胶版纸
包 装：圆脊精装
是否套装：否
国际标准书号ISBN：9787508855561
丛书名：国家出版基金项目吴文俊全集
所属分类：
图书>自然科学>数学>数学理论

内容简介
《吴文俊全集·数学史卷》收载了吴文俊的全部数学史论文, 包括作者的篇数学史论文——《中国古代数学对世界文化的贡献》、被引用频率较高的数学史论文之一—《出入相补原理》, 以及在国际数学家大会上的邀请报告等. 这些论文中一个贯串始终的主题是关于数学发展的两种主流的观点:以希腊数学为代表的演绎式数学和以中国古代数学为代表的算法式数学,它开启了中国数学史研究的新阶段. 这些论文中反复运用的由作者首次概括陈述的“出入相补原理”, 已成为解释中国古代几何中许多疑难问题的一把“金钥匙”. 《吴文俊全集·数学史卷》一系列文章中提炼和阐发的“古证复原原则”, 是对数学史研究方法论的经典贡献. 吴文俊的数学史论文提供了古为今用的典范, 是吴文俊宝贵的科学文化遗产. 继续阅读 →

文件大小：080.46 MB 吴文俊全集-数学机械化卷 Ⅴ

下载地址：

吴文俊全集(数学机械化卷Ⅴ)(精)
作者:吴文俊|编者:高小山出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787508855547
所属分类：
图书>自然科学>数学>应用数学

本卷收录了吴文俊在数学机械化领域发表的46篇论文，内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。 [1]
图书目录
编辑
播报
1. On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry
2. 初等微分几何的机械化证明
3. 初等微分几何的机械化证明
5. Some Remarks on Mechanical Theorem-Proving in Elementary Geometry
6. Some Recent Advances in Mechanical Theorem-Proving of Geometries
7. Basic Principles of Mechanical Theorem Proving in Elementary Geometries
8. A Constructive Theory of Differential Algebraic Geometry Based on Works of J.F.Ritt with Particular Applications to Mechanical Theorem-Proving of Differential Geometries
9. On Zeros of Algebraic Equations||An Application of Ritt Principle 继续阅读 →

文件大小：059.24 MB 吴文俊全集-数学机械化卷 I=THE COMPLETE WORKS OF WU WEN-TSUN MATHEMATICS MECHANIZATION I

下载地址：

吴文俊全集(数学机械化卷Ⅰ)(精)
作者:吴文俊出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787508855509
所属分类：
图书>自然科学>力学

内容简介
本卷收录了吴文俊的Mathematics Mechanization: MechanicalGeometry Theorem-Proving，Mechanical Geometry Problem-Solving andPolynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
全书分成三个部分： 部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。 第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。 继续阅读 →

文件大小：109.73 MB 吴文俊全集-数学机械化卷 Ⅱ

下载地址：

吴文俊全集(数学机械化卷Ⅱ)(精)
作者:吴文俊出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787508855516
所属分类：
图书>自然科学>数学>应用数学

内容简介
本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。 继续阅读 →

文件大小：075.22 MB 吴文俊全集-数学机械化卷 Ⅳ

下载地址：

吴文俊全集·数学机械化卷IV
吴文俊
作者:吴文俊出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：精装
是否套装：否
国际标准书号ISBN：9787508855530
丛书名：国家出版基金项目吴文俊全集
所属分类：
图书>自然科学>数学>数学理论

编辑推荐

数学理论,文集

内容简介

本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。《吴文俊全集·数学机械化卷IV》论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。
《吴文俊全集·数学机械化卷IV》共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。
目　　录

目录
第1章 Desargues几何与Desargues数系 1
1.1 常用几何的Hilbert公理系统 1 继续阅读 →

文件大小：193.62 MB 吴文俊全集-附卷-回忆与纪念

下载地址：

吴文俊全集·附卷-回忆与纪念
作者:李邦河，高小山，李文林出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：精装
是否套装：否
国际标准书号ISBN：9787508855486
丛书名：国家出版基金项目
所属分类：
图书>自然科学>数学>数学理论

内容介绍

本书内容包括吴文俊的生平、成就与获得的奖励的介绍, 陈省身、杨振宁、丘成桐、Jean-Pierre Bourguignon等78位吴文俊生前同事、学生以及家属的回忆、纪念与缅怀的文章, 以及22篇关于吴文俊的新闻报道. 这些文章全面介绍了吴文俊先生在拓扑学、数学机械化、中国古代数学史等方向取得的成就, 吴文俊先生的学术思想与治学态度,以及他的学术影响. 继续阅读 →

文件大小：039.54 MB 吴文俊全集-数学机械化卷 Ⅲ

下载地址：

吴文俊全集·数学机械化卷III 科学出版社 9787508855523
作者:吴文俊出版社:科学出版社

开 本：16开
纸 张：胶版纸
包 装：平装
是否套装：否
国际标准书号ISBN：9787508855523
所属分类：
图书>考试>公务员考试>国家公务员考试

内容介绍

本卷收录了吴文俊的《数学机械化》一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
全书分成三个部分：**部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。 继续阅读 →

文件大小：042.25 MB 吴文俊全集-博弈论、代数几何、图的平面嵌入卷

下载地址：

吴文俊全集·博弈论、代数几何、图的平面嵌入卷
吴文俊
作者:吴文俊出版社:龙门书局出版时间:2021年06月

开 本：16开
纸 张：胶版纸
包 装：精装
是否套装：否
国际标准书号ISBN：9787508855608
丛书名：国家出版基金项目吴文俊全集
所属分类：
图书>自然科学>数学>数学理论

内容简介

本书收录吴文俊发表的博弈论、代数几何和图的平面嵌入等三个方面的论文.其中,《关于博弈理论基本定理的一个注记》是中国博弈论研究的开山之作.《活动受限制下的非协作对策》等两篇论文则包含了吴文俊对博弈论重要的贡献──本质均衡概念的提出及其存在性证明. 继续阅读 →

文件大小：012.00 MB 王者之路-机器证明及其应用

下载地址：

王者之路 机器证明及其应用 吴文俊主编 湖南科学技术出版社
作者:吴文俊主编出版社:湖南科学技术出版社出版时间:1999年01月

开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787535728586
所属分类：
图书>老书/收藏

文件大小：139.86 MB 图论算法理论、实现及应用

下载地址：

图论算法理论、实现及应用(第2版)
以ACM/ICPC竞赛题目为例阐述图论算法的程序实现;收录了162道例题和练习题;精心制作了238个教学视频，约1800分钟;配套电子课件。
作者:王桂平,杨建喜,李韧出版社:北京大学出版社出版时间:2022年01月

开 本：16开
纸 张：胶版纸
包 装：平装
是否套装：否
国际标准书号ISBN：9787301323854
丛书名：高等院校电气信息类专业”互联网+”创新规划教材
所属分类：
图书>教材>研究生/本科/专科教材>理学

目　　录
章　图的基本概念及图的存储 1
1.1　基本概念 1
1.1.1　有向图与无向图 1
1.1.2　完全图、稀疏图、稠密图 2
1.1.3　顶点与顶点、顶点与边的关系 3
1.1.4　顶点的度数及度序列 3
1.1.5　二部图与完全二部图 6
1.1.6　图的同构 7
1.1.7　子图与生成树 8 继续阅读 →

文件大小：007.16 MB 数学走进现代化学与生物

下载地址：

数学走进现代化学与生物
姜伯驹 钱敏平 龚光鲁著，七彩数学丛书
作者:姜伯驹 钱敏平 龚光鲁出版社:科学出版社出版时间:2021年12月

开 本：128开
纸 张：胶版纸
包 装：平装胶订
是否套装：否
国际标准书号ISBN：9787030178930
丛书名：当代七彩数学
所属分类：
图书>科普读物>科学世界>数学

编辑推荐
《数学走进现代化学与生物》共分两个部分 拓扑学中的手性和数学走进生物大分子序列。部分是一次演讲的纲要。手性就是左右不对称性，是自然界的常见现象，在化学中日益重要。本文介绍了作者和王诗歲教授合作的一个科研课题的来龙去脉。 继续阅读 →

文件大小：000.97 MB 数学原理【罗素】

下载地址：

序言
艾兰·乌德先生的书《热烈的怀疑主义者》受到广泛和应有的赞扬，他本打算撰文对我的哲学做一番更专门的考查。可是在他去世的时候，他的文章只完成了一小部分。这一部分中有一个导言。看过这一篇导言的人认为很有价值，所以值得发表，因此就印在本书的末尾。
假如当初能早一点得到他这篇文章，本会把它放在本书的前面的。但是这篇文章到手太晚了，遂致这样做就没有可能。我奉劝读者先看他这篇文章，因为他这文章把很多容易使人误会之处讲得极为明白。乌德先生未能活到他完成这部著作，这使人极感惋惜。 继续阅读 →

文件大小：034.92 MB 数学小词典

下载地址：

数学小词典 （64开硬精装）
举报

作者: 陈通鑫，刘嘉琨，王占元，方金秋 编
出版社: 测绘出版社
出版时间: 1982-05
版次: 1

文件大小：028.38 MB 数学名题词典

下载地址：

数学名题词典
作者:单墫出版社:江苏教育出版社出版时间:2002年07月

内容简介
数学名题是在数学发展历史长河中形成，并对数学发展、数学应用和数学教学等方面起过或仍起着重要作用的数学问题。因此对数学名题的介绍，无疑有利于人们了解数学的发展和理解数学思想方法的形成，有益于开阔数学研究的视野，而且还有助于数学的教和学。基于以上的认识，我们编写了本词典，供中小学教学教师教学与研究的参考，并作为高师院校数学系科学学生和爱好数学的中学生课外学习和探索的读物。
目　　录
算术
一 整数
雉兔同笼
和尚分馒头
“巴赫沙利手稿”中的问题
分100的问题
驮货问题
上下移动
二 公约数、公倍数
封山周栈
三女归宁 继续阅读 →

文件大小：037.26 MB 数学聊斋-王树和著

下载地址：

数学聊斋
作者:王树和著出版社:科学出版社出版时间:2008年08月

开 本：16开纸 张：胶版纸包 装：平装是否套装：否国际标准书号ISBN：9787030218407
所属分类：
图书>自然科学>化学>高分子化学（高聚物）

内容简介
数学悖论，第一次、第二次、第三次数学危机，哥德尔不可判定命题、混沌、NPC理论等非平凡问题；算术、几何、图论、组合当中的有趣问题；数学思想与数学哲学当中的敏感问题等共计151个问题。如将来数学还会产生悖论与危机吗？尚未解决的数学难题是否为不可判定命题？既然是确定性系统为什么会产生紊动？愚公移山式的穷举法为什么可能无效？2+2为什么等于4？三角形内角和究竟多少度？核武库的钥匙有几把？牛顿创立的微积分能得100分吗？数学家是些什么人？数学定理为什么要证明？等等。
《数学聊斋》读者对象为中学生、大学生、中小学教师及数学爱好者。 继续阅读 →