Well known theorems on triangular systems and the D5 principle

Abstract : 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.
Type de document :
Communication dans un congrès
Transgressive Computing 2006, Apr 2006, France. J.-G. Dumas, Université Joseph Fourier, Grenoble, France, pp.79-91, 2006
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00137158
Contributeur : François Boulier <>
Soumis le : jeudi 22 mars 2007 - 11:31:03
Dernière modification le : vendredi 11 septembre 2015 - 01:05:43
Document(s) archivé(s) le : mardi 6 avril 2010 - 21:52:35

Fichier

blm06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00137158, version 1

Collections

Citation

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. J.-G. Dumas, Université Joseph Fourier, Grenoble, France, pp.79-91, 2006. 〈hal-00137158〉

Partager

Métriques

Consultations de la notice

392

Téléchargements de fichiers

544