An Equivalence Theorem For Regular Differential Chains

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

1 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2 ORCCA and Computer Science Department

The main result of this paper is a new characterization of regular differential chains, which are generalizations of Ritt's characteristic sets in differential algebra. An original presentation of a similar equivalence theorem for nondifferential regular chains is also provided.

Le principal résultat de cet article est une nouvelle caractérisation des chaînes différentielles régulières, qui sont des généralisations des ensembles caractéristiques de Ritt en algèbre différentielle. Une présentation originale d'un théorème d'équivalence similaire, pour les chaînes régulières non différentielles, est également fourni.

Mots clés: Differential algebra; regular differential chain; characteristic set

Domaines: Calcul formel [cs.SC]

François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An Equivalence Theorem For Regular Differential Chains. 2016. ⟨hal-01391768v1⟩