Numeric vs. symbolic homotopy algorithms in polynomial system solving: a case study

  • Authors:
  • M. De Leo;E. Dratman;G. Matera

  • Affiliations:
  • Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Universitaria, Buenos Aires, Argentina;Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Universitaria, Buenos Aires, Argentina;Instituto de Desarrollo Humano, Campus Universitario, Universidad Nacional de General Sarmiento, Buenos Aires, Argentina and Consejo Nacional de Investigaciones Científicas y Tecnológica ...

  • Venue:
  • Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider a family of polynomial systems which arises in the analysis of the stationary solutions of a standard discretization of certain semi-linear second-order parabolic partial differential equations. We prove that this family is well-conditioned from the numeric point of view, and ill-conditioned from the symbolic point of view. We exhibit a polynomial-time numeric algorithm solving any member of this family, which significantly contrasts the exponential behavior of all known symbolic algorithms solving a generic instance of this family of systems.