Real Solving

Fabrice Rouillier (1)

1 CALFOR - Calcul formel

Since Tarski, the existence of real solutions for systems of polynomial inequalities is known to be decidable. RealSolving is a long term project creating mathematical software which is devoted to the computation of real solutions to systems of polynomial equalities and inequalities using only exact computations. It has been used to solve problems in real algebraic geometry, algebra, computer vision, numerical methods, robotics and signal processing. This project received support from POSSO (Esprit BRA 6846) and FRISCO (LTR 21.024).

Domaines: Informatique [cs]

Fabrice Rouillier. Real Solving. ICM 1998 - International Congress of Mathematicians, Aug 1998, Berlin, Germany. ⟨hal-01617270⟩