arb | C library for arbitrary-precision interval arithmetic |
---|---|

alt-ergo | Automatic theorem prover |

4ti2 | Software package for algebraic, geometric and combinatorial problems |

agda-lib-ffi | Auxiliary Haskell code used by Agda's standard library |

agda-stdlib | Agda standard library |

axiom | Axiom is a general purpose Computer Algebra system |

cvc4 | automatic theorem prover for satisfiability modulo theories (SMT) problems |

eclib | Programs for elliptic curves defined over the rational numbers |

cliquer | C routines for finding cliques in an arbitrary weighted graph |

calc | Arbitrary precision C-like arithmetic system |

coq | Proof assistant written in O'Caml |

dataplot | Program for scientific visualization and statistical analyis |

ent | Pseudorandom number sequence test |

euler | Mathematical programming environment |

fann | Fast Artificial Neural Network Library |

flint | Fast Library for Number Theory |

form | Symbolic Manipulation System |

fricas | FriCAS is a fork of Axiom computer algebra system |

frobby | Software system and project for computations with monomial ideals |

dunshire | Python library to solve linear games over symmetric cones |

petsc | Portable, Extensible Toolkit for Scientific Computation |

gp2c | A GP to C translator |

geogebra | Mathematics software for geometry |

geomview | Interactive Geometry Viewer |

ggnfs | A suite of algorithms to help factoring large integers |

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 |

gretl | Regression, econometrics and time-series library |

gsl-shell | Lua interactive shell for sci-libs/gsl |

lrcalc | Littlewood-Richardson Calculator |

lpsolve | Mixed Integer Linear Programming (MILP) solver |

mathomatic | Automatic algebraic manipulator |

maxima | Free computer algebra environment based on Macsyma |

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-epstk | Graphical output functions for Matlab and Octave |

octave | High-level interactive language for numerical computations |

otter | An Automated Deduction System |

pari-data | Additional dataset packages for PARI |

mathmod | Plot parametric and implicit surfaces |

psmt2-frontend | Library to parse and type-check an extension of the SMT-LIB 2 standard |

slepc | Scalable Library for Eigenvalue Problem Computations |

planarity | The edge addition planarity suite of graph algorithms |

prover9 | Automated theorem prover for first-order and equational logic |

pspp | Program for statistical analysis of sampled data |

relational | Educational tool for relational algebra |

rkward | IDE for the R-project |

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 |

spin | Tool for formal verification of distributed software systems |

topcom | Computing Triangulations Of Point Configurations and Oriented Matroids |

twelf | Implementation of the logical framework LF |

unuran | Universal Non-Uniform Random number generator |

pymc3 | Bayesian Modeling and Probabilistic Machine Learning in Python |

why3-for-spark | Platform for deductive program verification |

yacas | General purpose computer algebra system |

yafu | Yet another factoring utility |

z3 | An efficient theorem prover |

agda | A dependently typed functional programming language and proof assistant |

bertini | Software for Numerical Algebraic Geometry |

cgal | C++ library for geometric algorithms and data structures |

diagrtb | Calculation of some eigenvectors of a large real, symmetrical, matrix |

genius | Genius Mathematics Tool and the GEL Language |

gfan | Compute Groebner fans and tropical varities |

jags | Just Another Gibbs Sampler for Bayesian MCMC simulation |

minisat | Small yet efficient SAT solver with reference paper |

pari | Computer-aided number theory C library and tools |

polymake | research tool for polyhedral geometry and combinatorics |

prng | Pseudo-Random Number Generator library |

rngstreams | Multiple independent streams of pseudo-random numbers |

wxmaxima | Graphical frontend to Maxima, using the wxWidgets toolkit |

79