/sci-mathematics/
../
Macaulay2
agda
axiom
calc
coq
drgeo
euler
fann
geomview
gimps
ginac
glpk
gturing
kalamaris
koctave
kseg
ksimus-boolean
ksimus-datarecorder
ksimus-floatingpoint
ksimus
mathomatic
maxima
metadata.xml
mupad
num-utils
nusmv
octave-forge
octave
otter
pari
pariguide
scilab
singular
snns
wxmaxima
yacas