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
183
Stabilization
8
Outdated
33
Pull requests
5
Bugs
231
Security
2
Changelog
Outdated Packages
Atom feed
dev-cpp/muParser
Library for parsing mathematical expressions
dev-gap/io
Bindings for low level C library I/O routines
dev-lang/R
Language and environment for statistical computing and graphics
media-gfx/netgen
Automatic 3d tetrahedral mesh generator
media-libs/qhull
Geometry library
sci-mathematics/acl2
Industrial strength theorem prover, logic and programming language
sci-mathematics/alt-ergo
Automatic theorem prover
sci-mathematics/cadical
Simplified Satisfiability Solver
sci-mathematics/calc
Arbitrary precision C-like arithmetic system
sci-mathematics/cryptominisat
Advanced SAT solver with C++ and command-line interfaces
sci-mathematics/dataplot
Program for scientific visualization and statistical analyis
sci-mathematics/easycrypt
Computer-Aided Cryptographic Proofs
sci-mathematics/eprover
Automated theorem prover for full first-order logic with equality
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/gfan
Compute Groebner fans and tropical varieties
sci-mathematics/giac
A free C++ Computer Algebra System library and its interfaces
sci-mathematics/gretl
Regression, econometrics and time-series library
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/mathmod
Plot parametric and implicit surfaces
sci-mathematics/metamath
Proof verifier based on a minimalistic formalism
sci-mathematics/nauty
Computing automorphism groups of graphs and digraphs
sci-mathematics/normaliz
Tool for computations in affine monoids and more
sci-mathematics/octave
High-level interactive language for numerical computations
sci-mathematics/pari
Computer-aided number theory C library and tools
sci-mathematics/slepc
Scalable Library for Eigenvalue Problem Computations
sci-mathematics/unuran
Universal Non-Uniform Random number generator
sci-mathematics/verifpal
Cryptographic protocol analysis for real-world protocols
sci-mathematics/why3
Platform for deductive program verification
Description
Based on the data of
repology.org
, there might be a new version available for these packages.
Please don't solely rely on this information, as the repology data might not be accurate.