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