Gb and FGb Softwares.
 Web Page
 Efficient computation of Grobner bases and polynomial system solving
 Written in C and C++ by
JeanCharles Faugère.
 Gb has received the Seymour Cray award in 1994.
RS
DV
The RAGLib library
 Web Page.
 Library for the study of real solutions of polynomial systems of equations and inequalities.
 Written in Maple by Mohab Safey El Din.
MPAI


The Epsilon library
RealClosure
Quintics
Videoscm2003
 Page Web.
 Software for teaching recursive programmation in Scheme and the notion of process of evaluation.
 Written by A. Brygoo, R. Durand, P. Manoury, C. Queinnec, M. Pelletier, M. Soria.
Le module SYM de MAXIMA.
 Web Page
 Efficient manipulations of symetric functions and computations of algebraic resolvants.
 Written in Maxima and in Lisp by
Annick Valibouze.
 First included in the computer algebra system
MacsymaSymbolics, SYM is now
distributed with
Maxima , which is under licence GPL (see also the french version
on the page of
Michel Gosse ).
