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