| 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