GAP (Groupes, Algorithmes et Programmation) est un système de calcul formel conçu tout particulièrement pour la théorie des groupes. Il a été écrit par des chercheurs des universités de Aachen (Allemagne) et Saint-Andrews (Écosse). Il peut être copié et distribué librement pour un usage non-commercial. Les versions pour Unix, Windows 9x et Mac peuvent être téléchargées sur le site www.gap-system.org.
GIAC est un système de calcul formel écrit par Bernard Parisse et distribué sous licence GPL. Un résumé du projet est donné en annexe (2.4)
GiNaC est une librairie en C++ pour le calcul formel1 . Ses auteurs sont Christian Bauer, Alexander Frink et Richard Kreckel.
JACAL est un programme interactif de calcul formel, écrit par Aubrey Jaffer et al. et distribué sous licence GPL.
Il permet de manipuler et simplifier des équations, des scalaires, des vecteurs et des matrices d'expressions algébriques mono et multivaluées contenant des nombres, des variables, des radicaux, des fonctions différentielles algébriques et des fonctions holonomes.
PARI-GP est un logiciel de calcul formel spécialisé en théorie des nombres. Il se compose d'une librairie en C, libpari (avec des noyaux optionnels en assembleur pour certaines architectures courantes) et du calculateur programmable et interactif gp. Il est possible d'écrire ses propres programmes en C basés sur la librairie libpari ou de lancer une session interactive gp, ou encore de faire exécuter un script par gp.
Développé à l'origine à Bordeaux par une équipe dirigée par Henri Cohen, PARI-GP est désormais maintenu par Karim Belabas à l' Université Paris-Sud Orsay, avec l'aide de volontaires. Il est distribué sous licence GPL.
PARI peut être téléchargé sur le site ftp de Bordeaux.
