循环不变量外提是一种传统的优化算法。

Loop invariant code motion (LICM) is a traditional optimization.

添加更加强大的不变量的另一种方法是从属类型。

Yet another approach to adding much more powerful invariants is that of dependent types.

给出了二次曲面在转轴变换下的六个不变量的简易证明。

A simple proof of six invariants under the transformation of spin axis is put forward.

利用二次曲面的不变量判定到一定点和一定平面(定直线)的距离之比为常数的空间点的轨迹。

Make use of constant measure of second order curved face, and judge the space figure that arrive the fixed point and the fixed flat surface (fixed straight line) distance's ratio is a constant.