A Normal Form Algorithm for Regular Differential Chains

François Boulier (1, 2) , François Lemaire (2, 1)

1 CALFOR - Calcul Formel
2 LIFL - Laboratoire d'Informatique Fondamentale de Lille

This paper presents a new algorithm for computing the normal form of a differential rational fraction modulo differential ideals presented by regular differential chains. An application to the computation of power series solutions is presented and illustrated with the new DifferentialAlgebra MAPLE package.

Domaines: Calcul formel [cs.SC]

François Boulier, François Lemaire. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, 2010, 4 (2), pp.185-201. ⟨hal-00824964⟩