/sci-mathematics/

• ../
• 4ti2
• abc
• acl2
• alectryon
• alt-ergo
• arb
• bertini
• boolector
• btor2tools
• cadabra
• cadical
• calc
• cgal
• cliquer
• coq-mathcomp
• coq-serapi
• coq
• cryptominisat
• cubicle
• cudd
• cvc4
• dataplot
• diagrtb
• dsfmt
• dunshire
• easycrypt
• eclib
• ent
• eprover
• euler
• fann
• flint
• flocq
• form
• fricas
• frobby
• gappa
• gappalib-coq
• genius
• geogebra-bin
• geomview
• gfan
• giac
• gimps
• ginac
• glpk
• gmm
• gmp-ecm
• gp2c
• gretl
• gsl-shell
• jags
• kind2
• kissat
• 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
• opensmt
• otter
• pari-data
• pari
• petsc
• picosat
• planarity
• plfit
• polymake
• primecount
• primesieve
• prng
• prover9
• proverif
• psmt2-frontend
• pspp
• rkward
• rngstreams
• rw
• sha1-polyml
• singular
• slepc
• smtinterpol
• spin
• stp
• sympow
• topcom
• twelf
• unuran
• vampire
• verifpal
• verit
• why3-for-spark
• why3
• wxmaxima
• yacas
• yafu
• yices2
• z3