4ti2 Software package for algebraic, geometric and combinatorial problems
alectryon Toolkit for literate programming in Coq
alt-ergo Automatic theorem prover
arb C library for arbitrary-precision interval arithmetic
bertini Software for Numerical Algebraic Geometry
cadabra Field-theory motivated approach to computer algebra
cadical Simplified Satisfiability Solver
calc Arbitrary precision C-like arithmetic system
cgal C++ library for geometric algorithms and data structures
cliquer C routines for finding cliques in an arbitrary weighted graph
coq Proof assistant written in O'Caml
coq-mathcomp Mathematical Components for the Coq proof assistant
coq-serapi Serialization library and protocol for interaction with the Coq proof assistant
cryptominisat Advanced SAT solver with C++ and Python interfaces
cvc4 Automatic theorem prover for satisfiability modulo theories (SMT) problems
dataplot Program for scientific visualization and statistical analyis
diagrtb Calculation of some eigenvectors of a large real, symmetrical, matrix
dsfmt Double precision SIMD-oriented Fast Mersenne Twister library
dunshire Python library to solve linear games over symmetric cones
easycrypt Computer-Aided Cryptographic Proofs
eclib Programs for elliptic curves defined over the rational numbers
ent Pseudorandom number sequence test
euler Mathematical programming environment
fann Fast Artificial Neural Network Library
flint Fast Library for Number Theory
flintqs Multi-polynomial quadratic sieve for integer factorization
form Symbolic Manipulation System
fricas FriCAS is a fork of Axiom computer algebra system
frobby Software system and project for computations with monomial ideals
genius Genius Mathematics Tool and the GEL Language
geogebra-bin Mathematics software for geometry
geomview Interactive Geometry Viewer
gfan Compute Groebner fans and tropical varieties
giac A free C++ Computer Algebra System library and its interfaces
gimps The Great Internet Mersenne Prime Search
ginac C++ library and tools for symbolic calculations
glpk GNU Linear Programming Kit
gmm Generic C++ template library for sparse, dense and skyline matrices
gmp-ecm Elliptic Curve Method for Integer Factorization
gp2c A GP to C translator
gretl Regression, econometrics and time-series library
gsl-shell Lua interactive shell for sci-libs/gsl
jags Just Another Gibbs Sampler for Bayesian MCMC simulation
lcalc Command-line utility and library for L-function computations
lean The Lean Theorem Prover
lpsolve Mixed Integer Linear Programming (MILP) solver
lrcalc Littlewood-Richardson Calculator
mathematica Wolfram Mathematica
mathlib-tools Development tools for Lean's mathlib
mathmod Plot parametric and implicit surfaces
mathomatic Automatic algebraic manipulator
maxima Free computer algebra environment based on Macsyma
metamath Proof verifier based on a minimalistic formalism
metamath-databases Sample databases for Metamath
minisat Small yet efficient SAT solver with reference paper
msieve A C library implementing a suite of algorithms to factor large integers
nauty Computing automorphism groups of graphs and digraphs
nestedsums A GiNaC-based library for symbolic expansion of certain transcendental functions
normaliz Tool for computations in affine monoids and more
num-utils A set of programs for dealing with numbers from the command line
octave High-level interactive language for numerical computations
octave-epstk Graphical output functions for Matlab and Octave
otter An Automated Deduction System
pari Computer-aided number theory C library and tools
pari-data Additional dataset packages for PARI
petsc Portable, Extensible Toolkit for Scientific Computation
planarity The edge addition planarity suite of graph algorithms
polymake Tool for polyhedral geometry and combinatorics
primecount Highly optimized CLI and library to count primes
primesieve CLI and library for quickly generating prime numbers
prng Pseudo-Random Number Generator library
prover9 Automated theorem prover for first-order and equational logic
psmt2-frontend Library to parse and type-check an extension of the SMT-LIB 2 standard
pspp Program for statistical analysis of sampled data
relational Educational tool for relational algebra
rkward IDE for the R-project
rngstreams Multiple independent streams of pseudo-random numbers
rw Compute rank-width decompositions of graphs
sha1-polyml implementation of SHA1 is taken from the GNU coreutils package
singular Computer algebra system for polynomial computations
slepc Scalable Library for Eigenvalue Problem Computations
smtinterpol Interpolating SMT-solver computing Craig interpolants for various theories
spin An efficient logic-model checker for the verification of multi-threaded code
stp Simple Theorem Prover, an efficient SMT solver for bitvectors
sympow Symmetric power elliptic curve L-functions
topcom Computing Triangulations Of Point Configurations and Oriented Matroids
twelf Implementation of the logical framework LF
unuran Universal Non-Uniform Random number generator
vampire The Vampire Prover, theorem prover for first-order logic
verit An open, trustable and efficient SMT-prover
why3 Platform for deductive program verification
why3-for-spark Platform for deductive program verification
wxmaxima Graphical frontend to Maxima, using the wxWidgets toolkit
yacas General purpose computer algebra system
yafu Yet another factoring utility
z3 An efficient theorem prover


Packages: 96

Filter by Category