时间的由来 【数理化】

在混沌初开的远古时代，人们是根据自然界的变化来划分时间的。那时，远祖们看到太阳会升起，也会降落；月亮有时会变大，有时会变小。还有一些人观察到，鸟儿到了秋天就不见了影踪，到了春天，又回来了。人们逐渐能够......

数学物理中的全局分析 几何及随机方法 【数理化】

本书介绍用微分几何、随机微分几何等工具研究流体力学等物理问题的新近的结果，特别是俄国学派的工作，对从事数学物理研究的人有很大帮助。...

静力学和动力学的现代公式 【数理化】

初中数学基础测试与训练 【数理化】

会通与嬗变 明末清初东传数学与中国数学及儒学“理”的观念的演化 【数理化】

本书主要主要涵盖两方面研究成果。一是推进中国数学史研究的新思想方法——古数复原。二是在这一思想方法指导下对明末清初西方数学东传背景下的中国传统数学的嬗变轨迹进行了研究，得出如下结论：这一时期中国...

奇趣的问题绝妙的解法 近百年来初等数学趣题精选及解答 【数理化】

初中数学习题集 代数 下 【数理化】

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

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

初中数学基础知识与例题分析 【数理化】

初中数学学习辅导与水平测试 【数理化】