这是真的，证据来自不动点原理的一种运用，一年前我曾探讨过它。
It is true, and the proof comes as an application of a fixed point theorem which I discussed a year ago.
根据飞行器椭圆弹道的性质、飞行器再入条件、球面几何和不动点原理给出了理想弹道的计算算法。
Baced on the properties of elliptical trajectory, the reentry conditions of the vehicles, spherical geometry, and the fixed-point theorem, an algorithm for the ideal trajectory is proposed.
利用不动点原理及微分不等式理论，我们证明了边值问题解的存在性，并给出了解的一致有效渐近展开式。
Using the fixed point principle and the theory of differential inequality, we prove the existence of the solution and an uniformly valid asymptotic expansions of the solution is given as well.
基于数学分析中著名的不动点原理，对于低密度纠删码本文证明了其删除错误译码算法稳定收敛的一充分条件。
Based on the known principle of fixed points in mathematical analysis, a sufficient convergence condition of erasure decoding algorithm for erasure codes is shown.
在一个由少数制造商控制的市场中，平衡点的稳定性有着重要的应用。本文应用压缩映照及不动点原理给出平衡点稳定的一些条件。
Stability of equilibrium in an oligopoly market has important implications. This paper focuses on the stability condition of equilibrium by using contraction mapping and fixed point principle.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
应用推荐