准规则斑图艺术

准规则斑图是根据弱混沌动力系统建立的数学模型，经过计算机图形技术处理产生的一类非线性图形。其构图主要表现为几何图案：或是块面构图为主，或是各类线条为主，亦可线面结合，变化万千，且具有很好的纹样感。其色.....

数学科学文化理念传播丛书 数学与文化

本书分3章探讨了数学与文化的关系。作者从数学和文化起源谈起，直至它们的演变和进化。用诸多的事例，说明数学对人类文化的影响，不仅显示在现代化科学技术方面，更重要的是它表现了一种理性主义的探索精神。书中...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

数学发现的艺术 数学探索中的合情推理

本书是一部用波利亚风格写成的数学方法论专注。它寓数学的思想方法与数学研究、发现、探索和解题之中，既是严肃的数学书、方法书，又是妙趣横生的科普读物。运用从数学史、课本、众多数学家的著作和手稿里采集...

浑沌之旅 科学与文化

当数学遇见文化

数学与文化

本书选编19篇文章

数学与文化

本书从数学和文化的起源直至它们的演变和进化

数学文化

数学文化

本书包括：数学与美学、数学与语言、数学与艺术、数学与哲学、数学与经济、数学与人的发展、数学文化。