Home
Team
Research
SALSA Project
Publications
Seminary
Software
News
ICPSS
Interne









Gb and FGb Softwares.

  • Web Page
  • Efficient computation of Grobner bases and polynomial system solving
  • Written in C and C++ by Jean-Charles 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 Macsyma-Symbolics, SYM is now distributed with Maxima , which is under licence GPL (see also the french version on the page of Michel Gosse ).




Webmaster: Mohab.Safey[at]lip6.fr.
Dernière mise-à-jour: Septembre 2006