Skip to Main content Skip to Navigation
Conference papers

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 metadata
Contributor : Lip6 Publications <>
Submitted on : Monday, October 16, 2017 - 2:31:44 PM
Last modification on : Friday, January 8, 2021 - 5:32:11 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