“…Both algebraic and differential invariant theories have become in recent years the subject of computational mathematics [13,14,17,40,60]. Algebraic invariant theory studies polynomial or rational invariants of algebraic group actions [18,22,23,54]. A typical example is the discriminant of a quadratic binary form as an invariant of an action of the special linear group.…”