暂缺简介...

国家“九五”重点图书出版规划项目。本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法等，尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就。

暂缺简介...

人类即将步入知识经济的时代。创造知识和应用知识的能力与效率将成为影响一个国家综合国力和国际竞争能力的决定性因素。“一个没有创新能力的民族，难以屹立于世界先进之林”。高等学校如何能培养出具有创新意识和能力的年轻人材，关系到我国下一世纪的发展和命运。为了这个目的，学校的最重要工作是转变教育观念，在教育目标和教学方法上作根本性改革，鼓励和培养学生的主动性和创新意识。

暂缺简介...

很少有关于逻辑趣题的书出版，但乔治.萨默斯先生就做出了这样的贡献。书中共有50道精心设计的逻辑趣趣题，从易到难，顺次排列。其中最难的那几道题，就是专家恐怕也会感到棘手的。你大概还未曾有机会测试一下自己的逻辑推理能力吧，现在就是一个好机会，可不要错过呀！本书前言特色及评论文章节选摘录一：没有喜事史密斯、琼斯、布朗这三家习惯按出生顺序称呼他们的孩子。下面说到他们孩子的有关情况时就用了这种称呼：（1）各家的老二都有三个兄弟。（2）各家的老三都有两个姐妹。（3）琼斯家的老四和史密斯家的老四有相同数目的兄弟。（4）史密斯家的老五和布朗家的老五有相同的数目的姐妹。（5）布朗家老六的兄弟数目和琼斯家老六的姐妹数目相同。（6）各家孩子的数目各不相同。（7）只有一家的老大是男孩。（8）只有一家的老幺（最晚出生的孩子）是女孩。（9）在那位大哥和那位幺妹举行婚礼的那一天，新娘家和新郎家大摆婚宴。这三家中哪一家没有喜事可庆祝？提示：各家的老二和老三是男孩还是女孩共有几种可能？各家的男孩和女孩可能有几个？各家的男孩和女孩按出生顺序可能有怎样的分布？摘录二：一美元纸币一家小饭店刚开始营业，店堂中只有三位男顾客和一位女店主，当这三位男士同时站起来付帐的时候，出现了以下的情况：（1）这四个人每人至少有一枚硬币，但都不是面值为1美元或1美元的硬币。（2）这四个人中没有一个能免兑开任何一枚硬币。（3）一位名叫卢的男士要付的帐单款额最大，一位名叫莫的男士要付的帐单数额其次，一位名叫内德的男士要付的帐单数额最小。（4）每位男士无论怎样用手中所持的硬币付帐，女店主都无法找清零钱。（5）如果这三位男士相互之间等值调换一下手中的硬币，则每人都能付清自己的帐单而无需找零。（6）当这三位男士一共进行了两次等值调换之后，他们发现每人手中的硬币与各人自己原先所持的硬币没有一枚面值相同。随着事情的进一步发展，又出现了如下的情况：（7）在付清了帐单而且有两位男士离开之后，留下的那位男士又买了一些糖果，这位男士本来可以用他手中剩下的硬币付款，可是女店主却无法用她现在所持的硬币找清零钱。（8）于是这位留下的男士用1美元的纸币付了糖果钱，但是女店主不得不把她的全部硬币都找给了他。不去管他那天女店主怎么会在找零钱上屡屡遇到麻烦，这三位男士中谁用1美元的纸币付了糖果钱？注：美国货币中的硬币有1美分、5美分、10美元、25美分、50美分和1美元这几种面值。100美分合1美元。提示：有一位男士手中所持的全部硬币可以用硬币的两种组合来表示：这两种组合之间没有一枚硬币面值相同，每种组合中的硬币都不能兑开一枚较大面值的硬币，第二位男士进行了两次调换，他与其他两位男士各进行了一次调换。这第二位男士通过第一次调换换来了面值与自己手中原有的硬币面值不同的硬币之后，必须能把手中原有的没有换出去的硬币换出去。女店主在三位男士付清帐单之前和之后会有哪些面值的硬币？三份帐单的数额。糖果的价钱，以及女店主在男士们付帐之前手中持有的硬币，总共是多少钱？（3页）摘录三：祸起萧墙一天晚上，在一个由一对夫妇和他们的儿子、女儿组成的四口之家中，发生了一起谋杀案，家庭中的一个成员杀害了另一个成员，其他两个成员，一个是目击者，另一个则是凶手的同谋。（1）同谋和目击者性别不同。（2）最年长的成员和目击者性别不同。（3）最年轻的成员和被害者性别不同。（4）同谋的年龄比被害者大。（5）父亲是最年长的成员。（6）凶手不是最年轻的成员。在父亲、母亲、儿子和女儿这四人中，谁是凶手？提示：最年轻的家庭成员是什么角色？谁是最年轻的家庭成员？

《代数数论导引》从现代数学角度尽可能直接地叙述了代数数论的基本内容，由较易的理想论开始，继而采用了赋值论等方法。包括代数整数环，判别式，诺特环和戴德金环，素分解和分歧理论，赋值理论与完备化，局部域，类数有限性和单位定理，二次域与分圆域，D：特征与数域，zeta：函数，L：函数，类数公式，伊代尔，类域论等。可作为数学研究生和高年级本科生教材或自学教材。

暂缺简介...

G本书介绍当今国国际上广泛使用的计算机代数系统：Maple。该数学软件系统的主要功能包括符号处理、数学图形描绘和数值计算等方面，处理的数学问题包括初等数学、高等数学、线性代数以及运算微积、微分方程、图论、数论、群论、组合数学、概率统计等方面；凡是公式能表达和解决的问题，Maple都能进行符号运算和数值计算，它是数学工作者、科技工作者、大中学校师生的强大数学辅助工具。本书通过对Maple的讲解和大量实例，帮助读者了解Maple的概念、使用方法和程序设计。本书可作为各级各类学校的学习Maple以及数学有关课程的教科书和参考书，又可作为科研、工程技术人员进行数学计算和公式推导的参考书，也可为读者自学之用。

本书作为一种普及读物，其内容大部分利益于为发掘、整理和研究中华传统数学的前辈及其接班人。为了使本书有自己的特色，更为了让读者易于了解中华数学的成就及特点，我们把通常的历史时期为线索的阐述办法改变成以介绍典型成果及其意义为主的编写体例，对典型成果的介绍不仅说明其含义及在整个数学发展史里的地位、作用，而且养生阐明它们的内涵，即思想方法及其对后世的影响。