Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
The sci-mathematics category contains mathematical software.
Packages
Stabilization
10
Outdated
31
Pull requests
4
Bugs
185
Security
0
Outdated Packages
Atom feed
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/dsfmt
Double precision SIMD-oriented Fast Mersenne Twister library
sci-mathematics/eclib
Programs for elliptic curves defined over the rational numbers
sci-mathematics/fann
Fast Artificial Neural Network Library
sci-mathematics/flint
Fast Library for Number Theory
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/geogebra-bin
Mathematics software for geometry
sci-mathematics/giac
A free C++ Computer Algebra System library and its interfaces
sci-mathematics/gp2c
A GP to C translator
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/mathematica
Wolfram Mathematica
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/otter
An Automated Deduction System
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.