/sci-mathematics/
../
calc
coq
drgeo
euler
geomview
gimps
ginac
glpk
gturing