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 |
| 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 |
| 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 | Compute 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 |
| 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 |
| petsc | Portable, Extensible Toolkit for Scientific Computation |
| 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 |
| pymc | Markov Chain Monte Carlo sampling toolkit |
| pymc3 | Bayesian Modeling and Probabilistic Machine Learning in Python |
| 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 |
| 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 |