LIP6 1997/009

• Rapports de recherche
  Des ensembles triangulaires pour résoudre les systèmes polynomiaux :
  une comparaison de quatre méthodes
• Ph. Aubry, M. Moreno Maza
• 24 pages - 26/06/1997- document en - http://www.lip6.fr/lip6/reports/1997/lip6.1997.009.ps.gz - 102 Ko
• Contact : Philippe.Aubry (at) nulllip6.fr, m3 (at) nullcalfor.lip6.fr
• Ancien Thème : CALFOR
Quatre méthodes de résolution de systèmes d'équations polynomiales sont présentées et implantées dans un cadre commun. Ces méthodes sont celles de Wu, Lazard, Kalkbrener et Wang. Elles sont comparées sur divers exemples avec une attention particulière portée à l'efficacité, la concision et la lisibilité des sorties.
• Mots clés : calcul formel, ensemble triangulaire, idéal radical, idéal saturé, tour d'extensions simples
• Directeur de la publication : Annick.Valibouze (at) nulllip6.fr