/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
jags
lpsolve
lybniz
mathomatic
maxima
metadata.xml
minisat
nauty
nestedsums
normaliz
num-utils
nusmv
octave-epstk
octave
otter
pari
polymake
prng
pspp
qtoctave
reduce
relational
rkward
rngstreams
scilab
singular
snns
spin
topcom
unuran
wxmaxima
xmds
yacas