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.
For more information about the RealSolving Survey, please contact Fatima Mourtada (firstname.lastname@example.org) or Fabrice Rouillier (Fabrice.Rouillier@loria.fr)
The Virtual Computer Algebra Library
CAIN Europe Home page