Resolution of polynomial systems
Résumé
In this talk, the state of the art of solving polynomial system by algebraic methods is sketched, and the main directions where future work is needed are indicated. Emphasis is given on input-output specification rather than on technical algorithmic aspects
Mots clés
système polynomial
équation polynomiale
inéquation polynomiale
base de gröbner
ensemble triangulaire
systeme d'équations polynomiales
système de calcul formel
gröbner basis
polynomial inéquation
polynomial equation
polynomial system solving
algebraic computation
symbolic computation
computer algebra
triangular set
calcul formel