Comprendre F5 : une théorie axiomatique des signatures

Quand : 11 juin 2026 à 10:00

Où : XLIM

Organisé par : Institut Henri Poincaré

Introduites par Faugère dans l’algorithme F5, les signatures permettent d’éviter une partie importante des réductions à zéro dans les calculs de bases de Gröbner. Elles donnent aussi accès à une information plus riche qu’une base de Gröbner ordinaire, liée aux syzygies des générateurs, ce qui les rend utiles pour certaines opérations idéales comme les quotients, saturations ou décompositions équid