All packages

mathematica Wolfram Mathematica
gsl-shell Lua interactive shell for sci-libs/gsl
maxima Free computer algebra environment based on Macsyma
msieve A C library implementing a suite of algorithms to factor large integers
pari-data Additional dataset packages for PARI
pari Computer-aided number theory C library and tools
petsc Portable, Extensible Toolkit for Scientific Computation
planarity The edge addition planarity suite of graph algorithms
polymake research tool for polyhedral geometry and combinatorics
rw Compute rank-width decompositions of graphs
slepc Scalable Library for Eigenvalue Problem Computations
sympow Symmetric power elliptic curve L-functions
yafu Yet another factoring utility
flintqs Multi-polynomial quadratic sieve for integer factorization
form Symbolic Manipulation System
dunshire Python library to solve linear games over symmetric cones
fann Fast Artificial Neural Network Library
flint Fast Library for Number Theory
geogebra Mathematics software for geometry
geomview Interactive Geometry Viewer
gfan Compute Groebner fans and tropical varieties
ggnfs A suite of algorithms to help factoring large integers
minisat Small yet efficient SAT solver with reference paper
singular Computer algebra system for polynomial computations
wxmaxima Graphical frontend to Maxima, using the wxWidgets toolkit
yacas General purpose computer algebra system
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
agda A dependently typed functional programming language and proof assistant
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
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
eclib Programs for elliptic curves defined over the rational numbers
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
ent Pseudorandom number sequence test
euler Mathematical programming environment
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
gimps The Great Internet Mersenne Prime Search
ginac C++ library and tools for symbolic calculations
jags Just Another Gibbs Sampler for Bayesian MCMC simulation
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
spin Tool for formal verification of distributed software systems
lpsolve Mixed Integer Linear Programming (MILP) solver
lrcalc Littlewood-Richardson Calculator
mathmod Plot parametric and implicit surfaces
mathomatic Automatic algebraic manipulator
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
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
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
sha1-polyml implementation of SHA1 is taken from the GNU coreutils package
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
z3 An efficient theorem prover