本文应用Nash平衡点存在性定理直接证明了Brouwer小动点定理.此外，应用Nash平衡存在性定理，还可以直接证明KKM引理，Wal-ras经济平衡点......

摘 要：文章研究总结了实数完备性中的三个定理，并证明了它们的部分等价关系，对刻画实数完备性具有一定的借鉴意义。　　关键词：完备性；......

我们为核子数量介子系统，一个任意的吝啬的分级的介子领域在被介绍建议一个量子化过程。有平常的这个过程的等价为任何给定的价值被......

本文运用分块矩陈及多元多项式的性质对行列式求值中的Cauchy-Binet定理与Laplace定理给出了等价证明。......

在变丑量子化， Wigner 函数服从的静电干扰功能 *-genvalue 方程，它在量力学的 Hilbert 空格操作符形式主义等价于时间无关的 Schr&#......

本文对线性规划的单纯形方法和图解法，用代数拓朴的方法证明它们之间是同伦的，并存在同伦的等价关系，故为同伦类。因此可用直观的图解......

Gamma函数在复分析中占据了一定的地位。由于复数的复杂性,复分析中的Gamma函数产生了许多与数学分析中的Gamma函数不同的性质。Ga......

随着设计规模及其输入数据量指数性增长，模拟时间已长得无法忍受。另外，也很难判断模拟验证的完备性。形式验证不用向量、运用数学方......