The sci-mathematics category contains mathematical software.

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

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

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

agda-stdlib | Agda standard library |

alt-ergo | Automatic theorem prover |

arb | C library for arbitrary-precision interval arithmetic |

axiom | Axiom is a general purpose Computer Algebra system |

bertini | Software for Numerical Algebraic Geometry |

calc | Arbitrary precision C-like arithmetic system |

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

coq | Proof assistant written in O'Caml |

cvc3 | CVC3 is a 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 |

drgeo | Interactive geometry package |

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

e | E is a theorem prover for full first-order logic with equality |

ent | Pseudorandom number sequence test |

euler | Mathematical programming environment |

factmsieve | Convenient factorization helper script using msieve and ggnfs |

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 |

genius | Genius Mathematics Tool and the GEL Language |

geogebra | Mathematics software for geometry |

geomview | Interactive Geometry Viewer |

gfan | computes Groebner fans and tropical varities |

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 |

gwnum | George Woltman's GWNUM library |

isabelle | Isabelle is a generic proof assistant |

jags | Just Another Gibbs Sampler for Bayesian MCMC simulation |

kodkod | a constraint solver for relational logic |

kodkodi | A text front-end for the Kodkod Java library |

lpsolve | Mixed Integer Linear Programming (MILP) solver |

lybniz | A function plotter program written in PyGTK |

Macaulay2 | Research tool for commutative algebra and algebraic geometry |

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 |

mlpy | High-performance Python library for predictive modeling |

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 |

nusmv | NuSMV: new symbolic model checker |

octave | High-level interactive language for numerical computations |

octave-epstk | Graphical output functions for Matlab and Octave |

otter | An Automated Deduction System |

p9m4 | This is a Graphical User Interface for Prover9 and Mace4 |

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

pari-data | Data sets for pari |

polymake | research tool for polyhedral geometry and combinatorics |

prng | Pseudo-Random Number Generator library |

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

pspp | Program for statistical analysis of sampled data |

pymc | Markov Chain Monte Carlo sampling toolkit |

pymc3 | Bayesian Modeling and Probabilistic Machine Learning in Python |

reduce | A general-purpose computer algebra system |

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 |

snns | Stuttgart Neural Network Simulator |

spass | An Automated Theorem Prover for First-Order Logic with Equality |

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 |

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

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

xmds | XMDS - The eXtensible Multi-Dimensional Simulator |

yacas | General purpose computer algebra system |

yafu | Yet another factoring utility |

z3 | An efficient theorem prover |

88 Packages