Elimination des syzygies inutiles dans le calcul des bases de groebner
FR |
EN
Auteur / Autrice : | Mohamed Arezki Bouzeghoub |
Direction : | Daniel Lazard |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences appliquées |
Date : | Soutenance en 1988 |
Etablissement(s) : | Paris 6 |
Résumé
FR
Comparaison de trois methodes de construction d'une base de groebner : celle de gebauer-moeller, de buchberger et de galligo, dans le cas general et dans le cas ou f est deja une base de groebner. Ecriture d'une procedure permettant de diminuer le nombre de calcul de syzygies