Browse sci-mathematics
4ti2
software package for algebraic, geometric and combinatorial problemsabc
acl2
agda
Proof assistant in Haskellagda-stdlib
alectryon
alt-ergo
arb
bertini
boolector
btor2tools
cadabra
cadical
cado-nfs
calc
An arbitrary precision C-like arithmetic systemcgal
C++ library for geometric algorithms and data structurescipi
clipper2
cliquer
coq
Coq is a proof assistant written in O'Camlcoq-mathcomp
coq-serapi
coq-stdlib
cryptominisat
cu2
cubex
cubicle
cudd
cvc4
database_cubic_hecke
database_knotinfo
dataplot
A program for scientific visualization and statistical analyisdiagrtb
dikcube
dolfinx
dsfmt
dunshire
easycrypt
eclib
ent
eprover
euler
Mathematical programming environmentExportSageNB
fann
Fast Artificial Neural Network Library implements multilayer artificial neural networks in Cflint
flocq
form
frama-c
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in 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
FriCAS is a fork of Axiom computer algebra systemfrobby
Frobby is a software system and project for computations with monomial idealsFXrays
gap
gappa
gappalib-coq
genius
Genius Mathematics Tool and the GEL Languagegeogebra-bin
geomview
Interactive Geometry Viewergfan
Gfan computes Groebner fans and tropical varitiesgiac
gimps
GIMPS - The Great Internet Mersenne Prime Searchginac
C++ library and tools for symbolic calculationsglpk
GNU Linear Programming Kitgmm
Generic C++ template library for sparse, dense and skyline matricesgmp-ecm
gp2c
gretl
Regression, econometrics and time-series librarygsl-shell
hom4ps-bin
jags
kind2
kissat
knot_floer_homology
latte-int
lcalc
lean
libpoly
libsfmt
lie
lpsolve
lrcalc
ltl2ba
manifold
mathematica
mathmod
mathomatic
Automatic algebraic manipulatormatroid-database
maxima
Free computer algebra environment based on Macsymamcube
metamath
metamath-databases
minisat
modular_resolution
msieve
nauty
nestedsums
normaliz
Normaliz is a tool for computations in affine monoids and morenum-utils
A set of programs for dealing with numbers from the command lineoctave
High-level interactive language for numerical computationsoctave-epstk
Graphical output functions for Matlab and Octaveoctave-jsonlab
octave-meta
Oid
opensmt
optimal
otter
An Automated Deduction System.palp
pari
A software package for computer-aided number theorypari-data
petsc
picosat
planarity
plfit
plink
polymake
primecount
primesieve
prng
prover9
proverif
psmt2-frontend
pspp
Program for statistical analysis of sampled data.pulp
pyromaths
reduce
rink
ripser
rkward
An IDE/GUI for the R-projectrngstreams
rstudio-desktop-bin
rw
sage-conf
sage-data-combinatorial_designs
sage-data-elliptic_curves
sage-data-graphs
sage-data-polytopes_db
sage-doc
sage-flatsurf
sage-sws2rst
sagemath-bliss
sagemath-categories
sagemath-environment
sagemath-giac
sagemath-meataxe
sagemath-objects
sagemath-repl
sagemath-sirocco
sagemath-standard
sagemath-tdlib
sage_docbuild
sage_setup
scilab-bin
sha1-polyml
shared_meataxe
singular
Computer algebra system for polynomial computationsslepc
smtinterpol
snappy
snappy-manifolds
sofastatistics
spherogram
spin
spline3
stp
surface-dynamics
symbolica
symbolica-community
sympow
topcom
A package for computing Triangulations Of Point Configurations and Oriented Matroids.twelf
unuran
vampire
verifpal
verit
why3
why3-for-spark
wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit.yacas
Powerful general purpose computer algebra systemyafu
yices2
z3
4ti2
frama-c-security-slicing
planarity
abc
frama-c-server
plfit
acl2
frama-c-slicing
plink
agda
frama-c-sparecode
polymake
agda-stdlib
frama-c-studia
primecount
alectryon
frama-c-users
primesieve
alt-ergo
frama-c-variadic
prng
arb
freefem++
prover9
bertini
fricas
proverif
boolector
frobby
psmt2-frontend
btor2tools
FXrays
pspp
cadabra
gap
pulp
cadical
gappa
pyromaths
cado-nfs
gappalib-coq
reduce
calc
genius
rink
cgal
geogebra-bin
ripser
cipi
geomview
rkward
clipper2
gfan
rngstreams
cliquer
giac
rstudio-desktop-bin
coq
gimps
rw
coq-mathcomp
ginac
sage-conf
coq-serapi
glpk
sage-data-combinatorial_designs
coq-stdlib
gmm
sage-data-elliptic_curves
cryptominisat
gmp-ecm
sage-data-graphs
cu2
gp2c
sage-data-polytopes_db
cubex
gretl
sage-doc
cubicle
gsl-shell
sage-flatsurf
cudd
hom4ps-bin
sage-sws2rst
cvc4
jags
sagemath-bliss
database_cubic_hecke
kind2
sagemath-categories
database_knotinfo
kissat
sagemath-environment
dataplot
knot_floer_homology
sagemath-giac
diagrtb
latte-int
sagemath-meataxe
dikcube
lcalc
sagemath-objects
dolfinx
lean
sagemath-repl
dsfmt
libpoly
sagemath-sirocco
dunshire
libsfmt
sagemath-standard
easycrypt
lie
sagemath-tdlib
eclib
lpsolve
sage_docbuild
ent
lrcalc
sage_setup
eprover
ltl2ba
scilab-bin
euler
manifold
sha1-polyml
ExportSageNB
mathematica
shared_meataxe
fann
mathmod
singular
flint
mathomatic
slepc
flocq
matroid-database
smtinterpol
form
maxima
snappy
frama-c
mcube
snappy-manifolds
frama-c-aorai
metamath
sofastatistics
frama-c-callgraph
metamath-databases
spherogram
frama-c-constant-folding
minisat
spin
frama-c-dive
modular_resolution
spline3
frama-c-e-acsl
msieve
stp
frama-c-eva
nauty
surface-dynamics
frama-c-from
nestedsums
symbolica
frama-c-impact
normaliz
symbolica-community
frama-c-inout
num-utils
sympow
frama-c-instantiate
octave
topcom
frama-c-loopanalysis
octave-epstk
twelf
frama-c-metrics
octave-jsonlab
unuran
frama-c-nonterm
octave-meta
vampire
frama-c-obfuscator
Oid
verifpal
frama-c-occurrence
opensmt
verit
frama-c-pdg
optimal
why3
frama-c-postdominators
otter
why3-for-spark
frama-c-printapi
palp
wxmaxima
frama-c-qed
pari
yacas
frama-c-reduc
pari-data
yafu
frama-c-report
petsc
yices2
frama-c-rtegen
picosat
z3
frama-c-scope
