/sci-mathematics/
../
4ti2
Macaulay2
agda-executable
agda-stdlib
agda
axiom
calc
cgal
coq
dataplot
diagrtb
drgeo
ent
euler
fann
freemat
fricas
frobby
genius
geomview
gfan
gimps
ginac
glpk
gmm
gretl
isabelle
jags
lpsolve
lybniz
mathomatic
maxima
metadata.xml
minisat
mlpy
nauty
nestedsums
normaliz
num-utils
nusmv
octave-epstk
octave
otter
p9m4
pari-data
pari
polymake
prng
prover9
pspp
qtoctave
reduce
relational
rkward
rngstreams
scilab
singular
snns
spin
topcom
unuran
wxmaxima
xmds
yacas