Resolution of polynomial systems

Daniel Lazard (1, 2)

1 CALFOR - Calcul formel
2 SPACES - Solving problems through algebraic computation and efficient software

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

Domaines: Autre [cs.OH]

Daniel Lazard. Resolution of polynomial systems. 4th Asian Symposium on Computer Mathematics - ASCM 2000, Dec 2000, Chiang Mai, Thailand. pp.1 - 8. ⟨inria-00107866⟩