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
185
Stabilization
9
Outdated
29
Pull requests
5
Bugs
202
Security
1
Changelog
Outdated Packages
Atom feed
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
sci-libs/cln
Class library (C++) for numbers
sci-libs/symengine
Fast symbolic manipulation library, written in C++
sci-mathematics/alt-ergo
Automatic theorem prover
sci-mathematics/btor2tools
Generic parser and tools for the BTOR2 format
sci-mathematics/calc
Arbitrary precision C-like arithmetic system
sci-mathematics/cgal
C++ library for geometric algorithms and data structures
sci-mathematics/dataplot
Program for scientific visualization and statistical analyis
sci-mathematics/fann
Fast Artificial Neural Network Library
sci-mathematics/flocq
Formalization of floating-point arithmetic for the Coq proof assistant
sci-mathematics/frobby
Software system and project for computations with monomial ideals
sci-mathematics/gappalib-coq
Allows the certificates Gappa generates to be imported by the Coq
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/lean
The Lean Theorem Prover
sci-mathematics/libpoly
C library for manipulating polynomials
sci-mathematics/mathmod
Plot parametric and implicit surfaces
sci-mathematics/normaliz
Tool for computations in affine monoids and more
sci-mathematics/octave
High-level interactive language for numerical computations
sci-mathematics/opensmt
Compact and open-source SMT-solver written in C++
sci-mathematics/slepc
Scalable Library for Eigenvalue Problem Computations
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/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.