Real Solving

Fabrice Rouillier 1
1 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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).
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Monday, October 16, 2017 - 2:31:44 PM
Last modification on : Thursday, March 21, 2019 - 2:30:28 PM


  • HAL Id : hal-01617270, version 1


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



Record views