数学写真集 无需语言的证明 第1季 【数理化】

本书由131个“无需语言的证明”的图片组成，每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集...

流体动力学程序引论 【数理化】

本书系统阐述流体动力学程序的基本原理和知识，包括离散方法、动力学（拉格朗日、欧拉和耦合方法）、高应变率下材料行为和失效模型、人工粘性等，并重点介绍了拉格朗日程序的实际工作方式。还包括材料与结构动力学...

莫斯科大学、列宁格勒大学、剑桥大学、牛津大学数学、计算数学、应用数学教学大纲 【数理化】

中国科学院大连化学物理研究所研究报告与资料 EHMO程序的充实与完善 【数理化】

中国科学院大连化学物理研究所研究报告与资料 群轨道EHMO通用计算程序 【数理化】

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

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

语言能力在数学测试中的差异性影响 【数理化】

本书共分5章，首次将分位数回归运用于国际语言测试领域关注的一个研究课题中，从教育测量的角度探讨测试语言对于数学成绩的区分性影响。本研究既用实证案例详细讲解了分位数的方法，突出对比了以往研究中的方法...

时间序列分析及应用 R语言 原书第2版 【数理化】

本书是关于时间序列的基础内容的一本教科书。主要讲授最基本的线性ARIMA模型的建立，具体包括时间序列的基本概念、趋势拟合、ARMA模型的性质、模型的辩识、参数估计、模型诊断、预测、季节模型的建立、动态...

数 科学的语言 为有文化而非专攻数学的人写的评论性概述 【数理化】

数：科学的语言 为有文化而非专攻数学的人写的评论性概述 【数理化】