Well known theorems on triangular systems and the D5 principle

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

The theorems that we present in this paper are very important to prove the correctness of triangular decomposition algorithms. The most important of them are not new but their proofs are. We illustrate how they articulate with the D5 principle.

Domaines: Calcul formel [cs.SC]; Algèbre commutative [math.AC]

François Boulier, François Lemaire, Marc Moreno Maza. Well known theorems on triangular systems and the D5 principle. Transgressive Computing 2006, Apr 2006, France. pp.79-91. ⟨hal-00137158⟩