We are seeking to improve our knowledge of both the present and potential
uses of algorithms in real algebraic geometry. We also seek to improve the
Real Solving software so that it is
in greater harmony with its
users.This software is dedicated to the study of the real roots of polynomial
systems using exact computations. It is developed by Fabrice Rouillier
as part of the PoSSo project and continues as part of the FRISCO
project.
Thank you very much for your participation.