/sci-mathematics/
../
Macaulay2
Oid
acl2
alt-ergo
apron
aribas
axiom
burrtools
cadabra
cipi
dolfin
dsfmt
flocq
frama-c
freefem++
gambit
gap
gappa
gappalib-coq
giac
gismo
htk
kash-bin
kayali
lattE-macchiato
libsfmt
lie
ltl2ba
mathics
mdp
netgen
open-axiom
petsc
pff
pulp
scilab
surfer
tisean
ufc
why
why3
yorick
z3