分析、比较当前数值计算方法，研究用PAR方法来开发循环不变式和数值算法的优越性；
Demonstating the effectiveness of PAR method in arithmetic computing, studying the contribution to the numerical methods by PAR method;
包括不变式产生规则，不变式在计算机中的表示和转换，以及定理证明的部分实现方法。
The generation rules, the notation and the transformation of invariants are described. The method of theorem verification is also included.
应用推荐