/sci-mathematics/

• ../
• 4ti2
• agda-lib-ffi
• agda-stdlib
• agda
• alt-ergo
• arb
• axiom
• bertini
• calc
• cgal
• cliquer
• coq
• cvc4
• dataplot
• diagrtb
• dunshire
• eclib
• ent
• euler
• fann
• flint
• flintqs
• form
• fricas
• frobby
• genius
• geogebra
• geomview
• gfan
• ggnfs
• gimps
• ginac
• glpk
• gmm
• gmp-ecm
• gp2c
• gretl
• gsl-shell
• jags
• lpsolve
• lrcalc
• mathmod
• mathomatic
• maxima
• metadata.xml
• minisat
• msieve
• nauty
• nestedsums
• normaliz
• num-utils
• octave-epstk
• octave
• otter
• pari-data
• pari
• petsc
• planarity
• polymake
• prng
• prover9
• psmt2-frontend
• pspp
• pymc3
• relational
• rkward
• rngstreams
• rstudio
• rw
• sha1-polyml
• singular
• slepc
• spin
• topcom
• twelf
• unuran
• why3-for-spark
• wxmaxima
• yacas
• yafu
• z3