分析、比较当前数值计算方法，研究用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.
包括不变式产生规则，不变式在计算机中的表示和转换，以及定理证明的部分实现方法。
The generation rules, the notation and the transformation of invariants are described. The method of theorem verification is also included.
应用推荐