Algebraic Invariants and their Differential Algebras
Résumé
We review the algebraic foundations we developed to work with differential invariants of finite dimensional group actions. Those support the algorithms we introduced to operate symmetry reduction with a view towards differential elimination.