数学难题探索：费尔马大定理和四色问题证明

本书详细地介绍了费尔马大定理的初等证明问题的数学证明方法，同时还运用数学推理方法证明了三次平面图形成定理和边二色回路定理，并进一步证明了四色问题也是成立的。这些证明的思路和方法，对于启发人们数学思...

现代数学四大猜想的直接证明

费马大定理的证明与启示

1637年，费马给出了一个命题，这个看似简单的猜想，一代代数学家们煞费苦心仍无法证明，直到1994年才被英国数学家怀尔斯彻底解决。这本小册子介绍了这358年间发生的一些生动的故事以及给予我们的启示。...

费马大定理证明之研究

几何定理计算机证明

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

从丝绸到瓷器：英国收藏家和博物馆的故事

本书讲述了19～20世纪英国收藏家对中国文物情有独钟的收藏历程。

从惊讶到思考 数学的印迹

本书从日常生活、自然、音乐、体育、艺术、建筑、天文历法、科学技术、经济、社会科学等方面选取了与数学相关的若干有趣题材，让读者惊讶地发现：数学，抽象的数学，其实是无处不在的。人类生活的差不多每一方面，都...

从传统到现代 浙江模式的文化社会学阐释

本书试图从文化社会学的视野出发，就当代浙江区域文化发展与社会发展的互动问题进行探讨，以期对浙江区域社会从传统到现代的转变作一尝试性的理解。...

从自愿到自由 近现代社团组织的发展演进

本书通过选取不同国家的社会结构，不同文化发展阶段，不同文化基础的社团组织，对其发展状况进行仔细梳理与归纳总结，系统介绍并揭示了近现代社团组织“从自愿到自由”的发展趋向。...

从放牛娃到院士 昆虫学家杨惟义的故事

杨惟义是中国杰出的昆虫学家、中科院院士.杨惟义从小是放牛娃，家境贫苦，他是怎样一步步走向辉煌的？本书介绍了他成长途中的许多故事。