/sci-mathematics/

• ../
• 4ti2
• abc
• acl2
• alectryon
• alt-ergo
• arb
• bertini
• btor2tools
• cadabra
• cadical
• calc
• cgal
• clipper2
• cliquer
• coq-mathcomp
• coq-serapi
• coq-stdlib
• coq
• cryptominisat
• cubicle
• cudd
• cvc4
• dataplot
• dsfmt
• dunshire
• easycrypt
• eclib
• ent
• eprover
• euler
• fann
• flint
• flocq
• form
• frama-c-aorai
• frama-c-callgraph
• frama-c-constant-folding
• frama-c-dive
• frama-c-e-acsl
• frama-c-eva
• frama-c-from
• frama-c-impact
• frama-c-inout
• frama-c-instantiate
• frama-c-loopanalysis
• frama-c-metrics
• frama-c-nonterm
• frama-c-obfuscator
• frama-c-occurrence
• frama-c-pdg
• frama-c-postdominators
• frama-c-printapi
• frama-c-qed
• frama-c-reduc
• frama-c-report
• frama-c-rtegen
• frama-c-scope
• frama-c-security-slicing
• frama-c-server
• frama-c-slicing
• frama-c-sparecode
• frama-c-studia
• frama-c-users
• frama-c-variadic
• frama-c
• fricas
• frobby
• functions-matlab-colormaps
• gap
• gappa
• gappalib-coq
• genius
• gfan
• giac
• gimps
• ginac
• glpk
• gmm
• gmp-ecm
• gp2c
• gretl
• gsl-shell
• highs
• jags
• kind2
• kissat
• lcalc
• lean
• libpoly
• lpsolve
• lrcalc
• manifold
• mathematica
• mathmod
• mathomatic
• maxima
• metadata.xml
• metamath-databases
• metamath
• minisat
• msieve
• nauty
• nestedsums
• normaliz
• num-utils
• octave-epstk
• octave
• opensmt
• otter
• palp
• pari-data
• pari
• petsc
• picosat
• planarity
• plfit
• polymake
• primecount
• primesieve
• prng
• prover9
• proverif
• psmt2-frontend
• pspp
• pyromaths
• rink
• rkward
• rngstreams
• rstudio-desktop-bin
• rw
• sha1-polyml
• singular
• slepc
• smtinterpol
• spin
• stp
• sympow
• topcom
• twelf
• unuran
• vampire
• verifpal
• verit
• why3-for-spark
• why3
• wxmaxima
• yacas
• yafu
• yices2
• z3