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. 在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点(LFP),并从范畴论的角度解释该过程。
Least Fixed Point(LFP) Theorem for Set-Valued Mapping and Its Application 集值映射最小不动点(LFP)定理及其应用
Another Method to Prove That the Plane Projective Transformation Has at Least One Fixed Point on an Invariant Line 二维射影变换中不变直线上至少有一不变点的另证
A direct proof of which the projective transformation of plane has at least a fixed line through a fixed point 平面射影变换过一不变点至少有一不变直线的一个直接证明
This paper describes the least one-power method of estimating the parameters in linear regression model of two variables, which is used in the solving method by fixed point, general solving method, two points method and simplex method. 论述了用最小一乘法估计两变数线性回归模型中的参数。计算方法为:通过定点的解法,一般解法,两点法和单纯形法。