Algorithme de Buchberger

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Buchberger.
image illustrant les mathématiques
Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

L'algorithme de Buchberger est un algorithme permettant de calculer une base de Gröbner pour un idéal polynomial à partir d'un ensemble générateur de l'idéal et d'un ordre sur les monômes. Il a été publié par le mathématicien autrichien Bruno Buchberger en 1976[1].

En pseudo-code, il peut être décrit comme suit[2] :

Entrées : un système de polynômes ; 
          un ordre monomial 
Sortie : une base de Gröbner de 



Répéter
    Pour chaque paire  dans :
         reste de  par 
        Si  est différent de 0 alors 
Jusqu'à ce que 
Renvoyer 

Exemple[modifier | modifier le code]

Voir aussi[modifier | modifier le code]

Références[modifier | modifier le code]

  1. (en) Bruno Buchberger, « Theoretical Basis for the Reduction of Polynomials to Canonical Forms », ACM SIGSAM Bulletin, vol. 10, no 3,‎ , p. 19-29.
  2. (en) David A. Cox, John Little et Don O'Shea, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, New York, Springer-Verlag, , 3e éd. (ISBN 978-0-387-35651-8, lire en ligne).