幻方的构造与数量

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

我国平等权违宪审查的理论、制度和未来

本书共分三篇十章，上篇是关于宪法平等权司法适用的基础理论，中篇是关于宪法平等权司法适用中的制度借鉴问题，下篇是关于宪法平等权在我国当前条件下司法适用的现实要求。...

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

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

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

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

高效有限元构造与分析

正交表的构造

实数的构造理论

物质的构造

稳定性基本理论与Lyapunov函数构造

什么是物质、物质的构造怎样