/sci-mathematics/
../
Macaulay2
Oid
acl2
algae
apron
aribas
axiom
burrtools
cadabra
cipi
dolfin
flocq
frama-c
freefem++
gambit
gap-guava
gap
gappa
gappalib-coq
giac
htk
hypre
kayali
lattE-macchiato
libdsfmt
libsfmt
lie
ltl2ba
mdp
netgen
open-axiom
pest
petsc
pff
polybori
scilab
surfer
ufc
why
yorick