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
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
isabelle-bin
jags
kind2
kissat
knot_floer_homology
latte-int
lcalc
lean
libpoly
libsfmt
lie
lpsolve
lrcalc
ltl2ba
manifold
mathematica
mathlib-tools
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-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
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