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