Real Solutions of Polynomial Systems: Algorithms

Representation of the Real Roots of Univariate Polynomials

• Real Algebraic Numbers
  • Definition

  • Examples

• Isolating Interval

• "à la Thom" Coding of the Real Algebraic Numbers

• Representation of Real Algebraic Numbers
  • Order Representation

  • "à la Thom" Coding

  • Isolating Rational Intervals

Algorithms

Real Solutions

The Computer Algebra Library

CAIN Home page