4ti2 |
Software package for algebraic, geometric and combinatorial problems |
agda |
A dependently typed functional programming language and proof assistant |
agda-stdlib |
Agda standard library |
alt-ergo |
Automatic theorem prover |
arb |
C library for arbitrary-precision interval arithmetic |
bertini |
Software for Numerical Algebraic Geometry |
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 |
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 |
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 |
lpsolve |
Mixed Integer Linear Programming (MILP) solver |
lrcalc |
Littlewood-Richardson Calculator |
mathematica |
Wolfram Mathematica |
mathmod |
Plot parametric and implicit surfaces |
mathomatic |
Automatic algebraic manipulator |
maxima |
Free computer algebra environment based on Macsyma |
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 |
research tool for polyhedral geometry and combinatorics |
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 |
rstudio |
IDE for the R language |
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 |
spin |
Tool for formal verification of distributed software systems |
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 |
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 |