Critère de Buchberger
- Pure Mathematics -
Algebra Dictionary
Définition
Une caractérisation affirmant qu'un ensemble fini de polynômes est une base de Gröbner (pour un ordre monomial fixé) si et seulement si chaque S-polynôme de chaque paire d'éléments de l'ensemble se réduit à zéro modulo cet ensemble.