Computing Differential Characteristic Sets by Change of Ordering

François Boulier (1, 2) , François Lemaire (1, 2) , Marc Moreno Maza (3)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 CALFOR - Calcul Formel
3 ORCCA - Ontario Research Center for Computer Algebra

We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different languages and has been applied within various software and projects. It permitted to solve formerly unsolved problems.

Domaines: Calcul formel [cs.SC]

François Boulier, François Lemaire, Marc Moreno Maza. Computing Differential Characteristic Sets by Change of Ordering. Journal of Symbolic Computation, 2010, 45, pp.124-149. ⟨10.1016/j.jsc.2009.09.004⟩. ⟨hal-00824984⟩