题解中心 几何学辞典 上 第一门 解法之部 几何学辞典索引 【数理化】

追求卓越 从TIMSS看影响学生数学成就的因素 【数理化】

本书比较详细地分析由国际教育成就评估协会组织的第三次国际数学与科学研究（简称TIMSS）的情况、过程及成果，TIMSS的根本目的在于通过国际比较，从学生的非智力因素与学习背景、数学课程、教师与教学、学校环境等...

准规则斑图艺术 【数理化】

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

叩响天堂之门 宇宙探索的历程 【数理化】

这是一本关于“大型强子对撞机”的科普类图书。我们正沐浴在一个划时代发现的曙光之下。世界上最大的粒子物理实验正拉开序幕，而世界上顶尖的物理学家和天文学家纷纷投身于这场科学的盛宴之中。科学家们于未...

走进优化之门 运筹学概览 【数理化】

本书作为科普读物侧重以初等方式概要介绍运筹学中的一些重要内容，主要包括：线性规划、运输问题、整数规划、工件排序、黄金分割法、图论、最短路问题、旅行商问题、决策论、对策论等基本的理论和方法。以不超...

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

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

“科学的力量”科普译丛；“科学的故事”系列 时空之维 【数理化】

该丛书由美国国家科学教师协会大力推荐，成为受美国中小学生爱不释手的科学史读本。在第五册《时空之维——爱因斯坦与他的宇宙》中，作者带领我们站在相对论的高度，来认识和探索浩瀚宇宙及其未来……...

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

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

丝绸之路数学名著译丛 算术之钥 【数理化】

阿尔·卡西是中世纪伊朗的著名数学家，本书是他的代表性著作，也是数学史上具有重要价值的著作。书中论述了整数、分数四则运算，开平方、开立方、开高次方、方程术、盈不足术、百鸡术以及各种面积计算。本书为该...

第一推动丛书 物理系列 终极理论之梦 【数理化】

《第一推动物理系列:终极理论之梦》讲的，是一场伟大的理性的历险，去找寻大自然的终极理论。终极理论的梦想激发了今天许多高能物理学的研究，虽然还不知道那终极理论会是什么样子，也不知道还要过多少年才能找到...