Théorie de l'Élimination
Définition
Un ensemble de techniques algébriques pour supprimer des variables dans des systèmes d'équations polynomiales afin d'obtenir des relations entre les variables restantes, généralement mises en œuvre par résultants, idéaux d'élimination ou bases de Gröbner.