/sci-mathematics/
../
4ti2
Macaulay2
Manifest.gz
agda-lib-ffi
agda-stdlib
agda
alt-ergo
arb
axiom
bertini
calc
cgal
coq
cvc3
cvc4
dataplot
diagrtb
drgeo
dunshire
e
ent
euler
factmsieve
fann
flint
form
fricas
frobby
genius
geogebra
geomview
gfan
ggnfs
gimps
ginac
glpk
gmm
gmp-ecm
gretl
gsl-shell
isabelle
jags
kodkod
kodkodi
lpsolve
lybniz
mathmod
mathomatic
maxima
metadata.xml
minisat
mlpy
msieve
nauty
nestedsums
normaliz
num-utils
nusmv
octave-epstk
octave
otter
p9m4
pari-data
pari
petsc
polymake
prng
prover9
psmt2-frontend
pspp
pymc
pymc3
relational
rkward
rngstreams
rstudio
rw
sha1-polyml
singular
slepc
snns
spass
spin
topcom
twelf
unuran
why3-for-spark
wxmaxima
xmds
yacas
yafu
z3