Sturm—Habicht Sequences, Determinants and Real Roots of Univariate Polynomials

  • L. González-Vega
  • T. Recio
  • H. Lombardi
  • M.-F. Roy
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)

Abstract

The real root counting problem is one of the main computational problems in Real Algebraic Geometry. It is the following: Let \(\mathbb{D}\) be an ordered domain and \(\mathbb{B}\) a real closed field containing \(\mathbb{D}\). Find algorithms which for every P\(\mathbb{D}\) [x] compute the number of roots of P in \(\mathbb{B}\). More precisely we shall study the following problem.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1998

Authors and Affiliations

  • L. González-Vega
  • T. Recio
  • H. Lombardi
  • M.-F. Roy

There are no affiliations available

Personalised recommendations