We show that the structure of differential ideals defined by coherent autoreduced set allows one to uncouple the differential and algebraic computations in a decomposition algorithm.Expand

We show that the generic zeros of a differential ideal [A]:H∞A defined by a differential chain A are birationally equivalent to the general zos of a single regular differential polynomial.Expand

We provide an algebraic formulation of the moving frame method for constructing local smooth invariants on a manifold under an action of a Lie group and provide algorithms for constructing rational and replacement invariants.Expand

Abstract The classical assumption of differential algebra, differential elimination theory and formal integrability theory is that the derivations do commute. This is the standard case arising from… Expand

Given a group action, known by its infinitesimal generators, we exhibit a complete set of syzygies on a generating set of differential invariants.Expand