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
186
Stabilization
13
Outdated
27
Pull requests
7
Bugs
192
Security
2
Changelog
Outdated Packages
Atom feed
dev-gap/io
Bindings for low level C library I/O routines
media-gfx/netgen
Automatic 3d tetrahedral mesh generator
sci-libs/cln
Class library (C++) for numbers
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/eprover
Automated theorem prover for full first-order logic with equality
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/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/singular
Computer algebra system for polynomial computations
sci-mathematics/slepc
Scalable Library for Eigenvalue Problem Computations
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.