Qu'est-ce qu'un logiciel
libre?
Autres liens:
La page
A Critique of the Mathematical Abilities of CA Systems de Michael Wester
et la liste des systèmes de calcul formel établie par Paulo Ney de Souza en
1998
La
distribution Debian Éducation
Scientific Applications
on Linux pour tous les logiciels de calcul formel
(commerciaux, shareware, GPL).
Comparison of Polynomial-Oriented Computer Algebra Systems, de Robert H. Lewis et Michael Wester
Portail du libre sur le serveur de l'UNESCO
Droit, philosophie,
thèses, essais..., page de S. Blondeel sur Linux-France
Manifestations:
9-12 juillet 2003 : Rencontres
Mondiales du Logiciel Libre à Metz
Axiom
Cf la liste
des développeurs.
GAP [GPL v2]
CoCoA (spécialisé
en algèbre commutative) [GPL]
GIAC [GPL]
GiNaC [GPL]
GTybalt [GPL]
GP (spécialisé
théorie des nombres) [sous GPL depuis la version 2.1.0]
JACAL [GPL]
Macaulay 2 [GPL]
Mathemagix [GPL]
Maxima (licence GPL,
a été maintenu par William Schelter,
version 5.9.0 annoncée le 10 février 2003)
Reduce (licence BSD modifiée)
Sage [GPL]
Singular (calculs
polynomiaux) [GPL]
GNU TeXmacs (interface graphique) [GPL]
Yacas (Yet Another
Computer Algebra System) [GPL]
Logiciels en passe de devenir libres:
Form, by Jos A. M. Vermaseren
Autres logiciels:
Aldor (compilateur du langage Axiom)
[Aldor public license, n'est pas libre car les sources ne sont pas disponibles,
et la redistribution est restreinte]
FOC, calcul formel
certifié (première version en juillet 2003)
Linbox (algèbre linéaire)
Magma [Magma online]
Bibliothèques libres:
ALP (algèbre
linéaire pour les polynômes) [C++, LGPL]
CLN [GPL]
GMP
(arithmétique multiprécision, LGPL)
et sa mailing-list
MPFR
(flottants multiprécision avec arrondi exact, LGPL)
NTL (polynômes et
théorie des nombres, C++, GPL)
Pari,
bibliothèque sur laquelle est basé GP
(théorie des nombres) [GPL] [Pari online]