/sci-mathematics/
../
4ti2
alectryon
alt-ergo
arb
bertini
cadabra
cadical
calc
cgal
cliquer
coq-mathcomp
coq-serapi
coq
cryptominisat
cudd
cvc4
dataplot
diagrtb
dsfmt
dunshire
easycrypt
eclib
ent
euler
fann
flint
flintqs
form
fricas
frobby
genius
geogebra-bin
geomview
gfan
giac
gimps
ginac
glpk
gmm
gmp-ecm
gp2c
gretl
gsl-shell
jags
lcalc
lean
libpoly
lpsolve
lrcalc
mathematica
mathlib-tools
mathmod
mathomatic
maxima
metadata.xml
metamath-databases
metamath
minisat
msieve
nauty
nestedsums
normaliz
num-utils
octave-epstk
octave
otter
pari-data
pari
petsc
picosat
planarity
polymake
primecount
primesieve
prng
prover9
psmt2-frontend
pspp
relational
rkward
rngstreams
rw
sha1-polyml
singular
slepc
smtinterpol
spin
stp
sympow
topcom
twelf
unuran
vampire
verit
why3-for-spark
why3
wxmaxima
yacas
yafu
yices2
z3