Browse sci-mathematics
4ti2
abc
acl2
agda
agda-stdlib
alectryon
alt-ergo
arb
bertini
btor2tools
cadabra
cadical
cado-nfs
calc
cgal
cipi
clipper2
cliquer
coq
coq-mathcomp
coq-serapi
coq-stdlib
cryptominisat
cu2
cubex
cubicle
cudd
cvc4
database_cubic_hecke
database_knotinfo
dataplot
dikcube
dolfinx
dsfmt
dunshire
easycrypt
eclib
ent
eprover
euler
ExportSageNB
fann
flint
flocq
form
frama-c
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
freefem++
fricas
frobby
functions-matlab-colormaps
gap
gappa
gappalib-coq
genius
geogebra-bin
geomview
gfan
giac
gimps
ginac
glpk
gmm
gmp-ecm
gp2c
gretl
gsl-shell
highs
hom4ps-bin
jags
kind2
kissat
latte-int
lcalc
lean
libpoly
libsfmt
lie
lpsolve
lrcalc
ltl2ba
manifold
mathematica
mathmod
mathomatic
matroid-database
maxima
mcube
metamath
metamath-databases
minisat
modular_resolution
msieve
nauty
nestedsums
normaliz
num-utils
octave
octave-epstk
octave-jsonlab
octave-meta
Oid
opensmt
optimal
otter
palp
pari
pari-data
petsc
picosat
planarity
plfit
polymake
primecount
primesieve
prng
prover9
proverif
psmt2-frontend
pspp
pulp
pyromaths
reduce
rink
ripser
rkward
rngstreams
rstudio-desktop-bin
rw
sage-data-combinatorial_designs
sage-data-elliptic_curves
sage-data-graphs
sage-data-polytopes_db
sage-flatsurf
sagemath
sagemath-doc
sagemath-giac
scilab-bin
sha1-polyml
shared_meataxe
singular
slepc
smtinterpol
sofastatistics
spin
spline3
stp
surface-dynamics
symbolica
symbolica-community
sympow
topcom
twelf
unuran
vampire
verifpal
verit
why3
why3-for-spark
wxmaxima
yacas
yafu
yices2
z3