A Short Contribution to the Theory of Regular Chains

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

1 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2 LIFL - Laboratoire d'Informatique Fondamentale de Lille

This paper contains short contributions to the theory of regular chains which follow a recent JSC paper by the same authors. These contributions apply to both the nondifferential and the differential context. They deal with the computation of normal forms and with the membership problem to ideals defined by regular chains.

Domaines: Calcul formel [cs.SC]

François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux. A Short Contribution to the Theory of Regular Chains. 2019. ⟨hal-02189597⟩