随机模型构造性计算理论及其应用 RG-分解方法

本书主要目的是为随机系统的数值计算理论提供一种基于RG-分解方法的统一的、构造性的算法框架，可以借此处理更一般的分块结构随机模型。

几何光学造象的理论基础

幻方的构造与数量

幻方是以排列组合为基础的数学问题，常见的有对称幻方、泛对角线幻方等，国内外数学家有较多研究，但尚未有全面优化的解决方法。本书作者创造性地运用中国象棋中的兵步、士步、马步构造幻方，提供了一种通用的优化...

函数构造的理论与应用 谢庭藩文集

本书共分成六个部分，主要研究的是用有限差的积分代替连续性模来给出Fourier级数绝对收敛的条件；Fouriei和Vall6ePoussin和以及Euler和对函数的逼近；多项式、逐段多项式以及插值多项武对函数的逼近，并系统综述了...

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

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

红外与拉曼光谱的计算原理与计算程序 上

红外与拉曼光谱的计算原理与计算程序 下

奇效的计算 大规模科学与工程计算的理论和方法

高效有限元构造与分析

矩阵计算的理论与方法