/sci-mathematics/

• ../
• 4ti2
• Macaulay2
• agda-lib-ffi
• agda-stdlib
• agda
• alt-ergo
• arb
• axiom
• bertini
• calc
• cgal
• coq
• cvc3
• cvc4
• dataplot
• diagrtb
• 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