Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
Gentoo Project
Mathematics Project
Packages
110
Stabilization
14
Outdated
20
Pull requests
5
Bugs
29
Security
3
Changelog
app-emacs
app-emacs/pariemacs
sci-mathematics/pari emacs mode
app-portage
app-portage/g-octave
A tool that generates and installs ebuilds for Octave-Forge
dev-cpp
dev-cpp/muParser
Library for parsing mathematical expressions
dev-lang
dev-lang/R
Language and environment for statistical computing and graphics
dev-lang/elpi
Embeddable Lambda Prolog Interpreter in OCaml
dev-libs
dev-libs/gf2x
C/C++ routines for fast arithmetic in GF(2)[x]
dev-libs/ntl
High-performance and portable C++ number theory library
dev-python
dev-python/bottleneck
Fast NumPy array functions written in C
dev-python/cvxopt
Python package for convex optimization
dev-python/mpmath
Python library for arbitrary-precision floating-point arithmetic
dev-python/oct2py
Python to GNU Octave bridge
dev-python/octave_kernel
Jupyter kernel for octave
dev-python/patsy
Python module to describe statistical models and design matrices
dev-python/pywavelets
Discrete Wavelet Transforms in Python
dev-python/statsmodels
Statistical computations and models for use with SciPy
dev-python/symengine
Python wrappers to the symengine C++ library
dev-python/sympy
Computer Algebra System in pure Python
media-fonts
media-fonts/jsmath
Raster fonts for jsmath
media-fonts/jsmath-extra-dark
Extra raster fonts for jsmath, dark version
media-gfx
media-gfx/netgen
Automatic 3d tetrahedral mesh generator
media-libs
media-libs/qhull
Geometry library
sci-libs
sci-libs/cdd+
Another implementation of the double description method
sci-libs/cddlib
C library implementing the Double Description Method
sci-libs/cln
Class library (C++) for numbers
sci-libs/dmlc-core
Common bricks library for building distributed machine learning
sci-libs/hypre
Parallel matrix preconditioners library
sci-libs/mpfi
Multiple precision interval arithmetic library based on MPFR
sci-libs/primegen
Small, fast library to generate primes in order
sci-libs/symengine
Fast symbolic manipulation library, written in C++
sci-mathematics
sci-mathematics/4ti2
Software package for algebraic, geometric and combinatorial problems
sci-mathematics/abc
System for sequential logic synthesis and formal verification
sci-mathematics/acl2
Industrial strength theorem prover, logic and programming language
sci-mathematics/alectryon
Toolkit for literate programming in Coq
sci-mathematics/alt-ergo
Automatic theorem prover
sci-mathematics/arb
C library for arbitrary-precision interval arithmetic
sci-mathematics/bertini
Software for Numerical Algebraic Geometry
sci-mathematics/boolector
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
sci-mathematics/btor2tools
Generic parser and tools for the BTOR2 format
sci-mathematics/cadabra
Field-theory motivated approach to computer algebra
sci-mathematics/cadical
Simplified Satisfiability Solver
sci-mathematics/calc
Arbitrary precision C-like arithmetic system
sci-mathematics/cgal
C++ library for geometric algorithms and data structures
sci-mathematics/coq
Proof assistant written in O'Caml
sci-mathematics/coq-mathcomp
Mathematical Components for the Coq proof assistant
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
sci-mathematics/cryptominisat
Advanced SAT solver with C++ and Python interfaces
sci-mathematics/cubicle
Model checker for verifying properties of array-based systems
sci-mathematics/dataplot
Program for scientific visualization and statistical analyis
sci-mathematics/easycrypt
Computer-Aided Cryptographic Proofs
sci-mathematics/ent
Random number sequence test and entropy calculation
sci-mathematics/eprover
Automated theorem prover for full first-order logic with equality
sci-mathematics/euler
Mathematical programming environment
sci-mathematics/fann
Fast Artificial Neural Network Library
sci-mathematics/flocq
Formalization of floating-point arithmetic for the Coq proof assistant
sci-mathematics/form
Symbolic Manipulation System
sci-mathematics/fricas
FriCAS is a fork of Axiom computer algebra system
sci-mathematics/frobby
Software system and project for computations with monomial ideals
sci-mathematics/gappa
Tool for verifying floating-point or fixed-point arithmetic
sci-mathematics/gappalib-coq
Allows the certificates Gappa generates to be imported by the Coq
sci-mathematics/geomview
Interactive Geometry Viewer
sci-mathematics/gfan
Compute Groebner fans and tropical varieties
sci-mathematics/giac
A free C++ Computer Algebra System library and its interfaces
sci-mathematics/gimps
The Great Internet Mersenne Prime Search
sci-mathematics/ginac
C++ library and tools for symbolic calculations
sci-mathematics/glpk
GNU Linear Programming Kit
sci-mathematics/gretl
Regression, econometrics and time-series library
sci-mathematics/gsl-shell
Lua interactive shell for sci-libs/gsl
sci-mathematics/jags
Just Another Gibbs Sampler for Bayesian MCMC simulation
sci-mathematics/kissat
Keep-it-simple and clean bare metal SAT solver written in C
sci-mathematics/lean
The Lean Theorem Prover
sci-mathematics/libpoly
C library for manipulating polynomials
sci-mathematics/lpsolve
Mixed Integer Linear Programming (MILP) solver
sci-mathematics/mathlib-tools
Development tools for Lean's mathlib
sci-mathematics/mathmod
Plot parametric and implicit surfaces
sci-mathematics/mathomatic
Automatic algebraic manipulator
sci-mathematics/maxima
Free computer algebra environment based on Macsyma
sci-mathematics/metamath
Proof verifier based on a minimalistic formalism
sci-mathematics/metamath-databases
Sample databases for Metamath
sci-mathematics/nauty
Computing automorphism groups of graphs and digraphs
sci-mathematics/nestedsums
A GiNaC-based library for symbolic expansion of certain transcendental functions
sci-mathematics/normaliz
Tool for computations in affine monoids and more
sci-mathematics/num-utils
A set of programs for dealing with numbers from the command line
sci-mathematics/octave
High-level interactive language for numerical computations
sci-mathematics/octave-epstk
Graphical output functions for Matlab and Octave
sci-mathematics/opensmt
Compact and open-source SMT-solver written in C++
sci-mathematics/pari
Computer-aided number theory C library and tools
sci-mathematics/pari-data
Additional dataset packages for PARI
sci-mathematics/petsc
Portable, Extensible Toolkit for Scientific Computation
sci-mathematics/picosat
SAT solver with proof and core support
sci-mathematics/polymake
Tool for polyhedral geometry and combinatorics
sci-mathematics/prng
Pseudo-Random Number Generator library
sci-mathematics/prover9
Automated theorem prover for first-order and equational logic
sci-mathematics/psmt2-frontend
Library to parse and type-check an extension of the SMT-LIB 2 standard
sci-mathematics/pspp
Program for statistical analysis of sampled data
sci-mathematics/rkward
IDE for the R-project
sci-mathematics/rngstreams
Multiple independent streams of pseudo-random numbers
sci-mathematics/sha1-polyml
implementation of SHA1 is taken from the GNU coreutils package
sci-mathematics/singular
Computer algebra system for polynomial computations
sci-mathematics/slepc
Scalable Library for Eigenvalue Problem Computations
sci-mathematics/smtinterpol
Interpolating SMT-solver computing Craig interpolants for various theories
sci-mathematics/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
sci-mathematics/topcom
Computing Triangulations Of Point Configurations and Oriented Matroids
sci-mathematics/unuran
Universal Non-Uniform Random number generator
sci-mathematics/vampire
The Vampire Prover, theorem prover for first-order logic
sci-mathematics/verit
An open, trustable and efficient SMT-prover
sci-mathematics/why3
Platform for deductive program verification
sci-mathematics/wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit
sci-mathematics/yacas
General purpose computer algebra system
sci-mathematics/yices2
SMT Solver supporting SMT-LIB and Yices specification language
sci-visualization
sci-visualization/zhu3d
Interactive 3D mathematical function viewer
Description
The Mathematics Project handles all math related activities in Gentoo.
External Resources
CI Report
(
verbose
)
Documentation
Members
Andrew Savchenko
Mark Wright
Marek Szuba
David Seifert
Maciej Barć
Shortcuts
app-emacs (1)
app-portage (1)
dev-cpp (1)
dev-lang (2)
dev-libs (2)
dev-python (10)
media-fonts (2)
media-gfx (1)
media-libs (1)
sci-libs (8)
sci-mathematics (80)
sci-visualization (1)