RAGLib : A Library for Real Algebraic Geometry

科研组 : SPIRAL

This library, implemented in Maple, contains some functionalities for the study of real solutions of positive dimensional systems.

软件负责人 : Mohab SAFET EL DIN
http://www-calfor.lip6.fr/~safey/RAGLib