/sci-mathematics/
../
4ti2
Macaulay2
agda
axiom
calc
cgal
coq
dataplot
drgeo
ent
euler
fann
freemat
fricas
frobby
genius
geomview
gfan
gimps
ginac
glpk
gmm
gretl
lybniz
mathomatic
maxima
metadata.xml
nauty
normaliz
num-utils
nusmv
octave
otter
pari
polymake
pspp
qtoctave
relational
rkward
scilab
singular
snns
spin
topcom
wxmaxima
xmds
yacas