The sci-mathematics category contains mathematical software.

All packages

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
arb C library for arbitrary-precision interval arithmetic
axiom Axiom is a general purpose Computer Algebra system
bertini Software for Numerical Algebraic Geometry
cado-nfs Number Field Sieve (NFS) implementation for factoring integers
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
qtoctave Qt4 front-end for Octave
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
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