Section: New Results

Regular (differential) chains

[17] provides new equivalence theorems for regular chains and regular differential chains, which are generalizations of Ritt’s characteristic sets. These theorems focus on regularity properties of elements of residue class rings defined by these chains, which are revealed by resultant computations. New corollaries to these theorems have quite simple formulations.

[30] contains a description of the management of the parameters in theMaple DifferentialAlgebra package and, in particular, in the RosenfeldGroebner function.