RAGLib : Une librairie pour la Géométrie Algébrique Réelle
Équipe : SPIRALCette bibliothèque, implantée en Maple, contient quelques fonctionnalités pour l'étude des solutions réelles des systèmes polynomiaux de dimension positive.
Software Leader : Mohab SAFET EL DINhttp://www-calfor.lip6.fr/~safey/RAGLib