We will use this theory to classify joint invariants and joint differential invariants of some transformation groups.
我们将利用该理论对一些特殊变换群的联合不变量、联合微分不变量进行分类。
2
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.
The main problems which invariant theory research are the set of generators of invariants, the defining relations of the generators of invariants, the structure of invariant ring, and so on.