Voici une liste non exhaustive (et extensible en fonction des demandes des utilisateurs) des principaux logiciels disponibles sur notre grappe de serveurs :

• Systèmes de calcul formel :
  

Logiciel	Derniere version	Version disponible sur Intel / Athlon	Version disponible sur Alpha
Axiom	indisponibles pour le moment	axiom.linux.2003-06-14	axiom2.2
Casa	2.5	2.5	2.5
CoCoA	4.2	4.2	4.2
XCoCoA	4.2	4.2	4.0
Epsilon	0.618	0.618	0.618
Coq	7.4	7.4	7.4
Foc	0.1	non installe (dépend d'une version ancienne de Ocaml)	non disponible sur cette architecture
Gap	gap4r3	gap4r3	gap4r3
GbRS	1.0.3	1.0.3	n/a
Ghc	6.0.1	6.0.1	n/a
Pari/GP	gp-2.1.5	gp-2.1.5	gp-2.1.5
Macaulay	macaulay2	macaulay2	macaulay2
Mace4	mace4-2003-B	mace4-2003-B	non disponible sur cette architecture
Maxima	5.9	5.9	5.9
Magma	2.10	2.10	2.10
Maple	10	10	9
Mathematica	5	5	5
MuPad	2.5.3	2.5.3	n/a
Reduce	3.7	n/a	3.7
Singular	2-0-5	2-0-5	2-0-3
Synaps	2.1.0	2.1.0	2.1.0
Matlab	R 14	R 14	R 12
Octave	2.1.50	2.1.50	2.1.50
Scilab	2.7	2.7	2.7

• Langages de programmation :

Programme	Derniere version	Version disponible sur Intel / Athlon	Version disponible sur Alpha
C, C++ (gcc)	3.3.2	2.95.2 / 3.2	2.8.1 / 3.2.1
Common-Lisp	2.31	2.31	2000-03-06
Fortran	0.5.25 (Linux) / 5.1 (Alpha)	0.5.25	5.1
Java	JSDK 1.4.2	1.4.2	1.1.6-2
Objective Caml	3.07	3.07	3.07
Pascal	1.0.10	1.0.10	n/a