数学软件与数学实验 【数理化】

本书首先介绍了数学软件Maple 8和Mathematica 4的基本使用方法，以便读者在后续的实验中熟练地使用它们；然后精心设计了与《大学数学》（高等数学）的内容相适应的15个数学实验，以引导学生借助数学软件自主探索、研...

实验设计与软件应用 【数理化】

试验设计是一门以数理统计为基础的应用统计学分支学科，也是自然科学研究方法论领域中重要的分支学科。正确的试验设计方案和对试验数据进行科学合理的统计分析，是科学研究工作者必需的基本功。《试验设计及软...

计算流体动力学及其应用 CFD软件的原理与应用 【数理化】

本书是一本介绍计算机流体力学软件原理与应用的指导性教材，全书共分10章，第1～5章介绍了CFD软件的原理，第6章介绍了CFD软件的基本知识，第7～10章介绍了几款软件的基本用法。...

数学软件与大学数学实验 【数理化】

本书主要介绍利用MATLAB软件解决一系列数学问题的计算，全书共43个实验，将一些常用的软件命令分散在各个实验中介绍，使得每个实验的难度适中，易于学生接受。为了让学有余力的学生能够有进一步学习的内容，在每个实...

数学建模与数学软件 【数理化】

本书介绍了数学建模所需要的数学基本理论和相关的数学软件。数学理论主要包括线性规划、整数规划、非线性规划、目标规划、多目标规划、动态规划、概率论、数理统计和灰色模型等知识，数学软件包括LINGO和MAT...

功能性多糖胶开发与应用 【数理化】

本书介绍了多糖胶的分类、生物学功能和生物合成、多糖胶的共性与应用，植物籽多糖胶、树木多糖胶、果胶、魔芋多糖胶、海藻多糖胶、微生物多糖胶和动物多糖胶的组成、结构和性质，并重点介绍了它们的生产技术、...

实用数学建模与软件应用 修订版 【数理化】

本书是在其第一版的基础上修订而成，对数学建模中使用广泛的各种数学模型进行了介绍。包括经典数学问题的建模巧用，初等模型，优化模型，离散模型，Markov模型，回归模型，时间序列模型，微分方程模型，差分方程模型，......

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

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

ANSYS AQWA软件入门与提高 【数理化】

本书着眼于软件实际操作，在浅显易懂的理论介绍基础上对使用海洋工程浮体分析软件AQWA进行浮体分析进行了详细的介绍并辅以工程实例，力图以一种全新的方式将海洋工程浮体分析工程实际与工程软件使用结合起来并...

科学技术研究报告 转化原则的一些应用和嵌入不等式 【数理化】