/sci-mathematics/
../
4ti2
agda
axiom
calc
cgal
coq
dataplot
drgeo
euler
fann
freemat
fricas
genius
geomview
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
wxmaxima
xmds
yacas