RAGLib : A Library for Real Algebraic Geometry
Gruppo di ricerca : SPIRALThis library, implemented in Maple, contains some functionalities for the study of real solutions of positive dimensional systems.
Responsabile per il software : Mohab SAFET EL DINhttp://www-calfor.lip6.fr/~safey/RAGLib