Brahim Sadik

Computing Characteristic Sets of Ordinary Radical Differential Ideals

Abstract:
We give upper bounds for the order of the elements in a characteristic set of a regular differential ideal or a radical of a finitely generated differential ideal with respect to some specific orderings. We then show how to compute characteristic sets of these ideals using algebraic methods.

Keywords:
Differential algebra, characteristic sets, differential ideals, Gröbner bases.

MSC 2000: 12H05, 13B25, 13P10