SPIRAL : Une librairie pour la Géométrie Algébrique Réelle

Équipe : SPIRAL

Cette bibliothèque, implantée en Maple, contient quelques fonctionnalités pour l'étude des solutions réelles des systèmes polynomiaux de dimension positive.

Responsable : Mohab SAFET EL DIN
http://www-calfor.lip6.fr/~safey/RAGLib