Laboratoire d'Arithmétique de Calcul formel et d'Optimisation

Laboratoire d'Arithmétique, de Calcul formel et d'Optimisation ESA - CNRS 6090 Straight-line Programs in Polynomial Equation Solving Teresa Krick Rapport de recherche n° 2002-08 Université de Limoges, 123 avenue Albert Thomas, 87060 Limoges Cedex Tél. - Fax. -

• equation systems


• input polynomial


• solving symbolically polynomial


• straight


• line program


• corresponding positive-dimensional


• equation solving


• input polynomials


• geometric resolutions