Gentoo Project

Mathematics Project

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-gap

• dev-gap/aclib

  Almost-crystallographic group library and algorithms for GAP
• dev-gap/alnuth

  Algebraic number theory and an interface to PARI/GP
• dev-gap/atlasrep

  GAP Interface to the Atlas of Group Representations
• dev-gap/autodoc

  Generate documentation from GAP source code
• dev-gap/autpgrp

  Computing the Automorphism Group of a p-Group
• dev-gap/browse

  GAP ncurses interface for browsing two-dimensional data
• dev-gap/cohomolo

  Cohomology groups of finite groups on finite modules
• dev-gap/congruence

  Congruence subgroups of SL(2,ZZ) for GAP
• dev-gap/corelg

  GAP package to compute with real semisimple Lie algebras
• dev-gap/crime

  GAP Package to calculate group cohomology and Massey products
• dev-gap/crisp

  GAP algorithms for subgroups of finite soluble groups
• dev-gap/crypting

  GAP implementation of SHA256 and HMAC for the Jupyter kernel
• dev-gap/cryst

  GAP package for computing with crystallographic groups
• dev-gap/crystcat

  The crystallographic groups catalog
• dev-gap/ctbllib

  The GAP Character Table Library
• dev-gap/cvec

  Compact vectors over finite fields in GAP
• dev-gap/datastructures

  Collection of standard data structures for GAP
• dev-gap/design

  The Design Package for GAP
• dev-gap/digraphs

  Graphs, digraphs, and multidigraphs in GAP
• dev-gap/edim

  Elementary Divisors of Integer Matrices (EDIM) for GAP
• dev-gap/factint

  Advanced Methods for Factoring Integers
• dev-gap/fga

  Free Group Algorithms (FGA) for GAP
• dev-gap/gapdoc

  GAP documentation structure and tooling
• dev-gap/gbnp

  Compute Gröbner bases of noncommutative polynomials
• dev-gap/genss

  GAP implementation of the randomized Schreier-Sims algorithm
• dev-gap/grape

  GRaph Algorithms using PErmutation groups
• dev-gap/guava

  GAP package for computing with error-correcting codes
• dev-gap/hap

  Homological Algebra Programming (HAP) in GAP
• dev-gap/hapcryst

  A HAP extension for crytallographic groups
• dev-gap/hecke

  Calculate decomposition matrices of Hecke algebras in GAP
• dev-gap/images

  Find minimal and canonical images in permutation groups
• dev-gap/io

  Bindings for low level C library I/O routines
• dev-gap/irredsol

  Irreducible soluble linear groups over finite fields and more
• dev-gap/laguna

  Lie AlGebras and UNits of group Algebras
• dev-gap/liealgdb

  A database of Lie algebras
• dev-gap/liepring

  Database and algorithms for Lie p-rings
• dev-gap/liering

  Finitely presented Lie rings in GAP
• dev-gap/loops

  Computing with quasigroups and loops in GAP
• dev-gap/mapclass

  A GAP package to compute mapping-class group orbits
• dev-gap/nq

  Nilpotent Quotients of finitely-presented groups
• dev-gap/orb

  GAP methods to enumerate orbits
• dev-gap/polenta

  Polycyclic presentations for matrix groups
• dev-gap/polycyclic

  Computation with polycyclic groups
• dev-gap/polymaking

  GAP interface to sci-mathematics/polymake
• dev-gap/primgrp

  GAP Primitive Permutation Groups Library
• dev-gap/qpa

  Quivers and Path Algebras in GAP
• dev-gap/quagroup

  GAP package for quantum group computations
• dev-gap/radiroot

  Roots of a polynomial as radicals in GAP
• dev-gap/resclasses

  Set-theoretic computations with residue classes in GAP
• dev-gap/semigroups

  GAP package for semigroups and monoids
• dev-gap/singular

  GAP interface to sci-mathematics/singular
• dev-gap/sla

  GAP package for simple Lie algebra computations
• dev-gap/smallgrp

  The GAP Small Groups Library
• dev-gap/sonata

  System of finite nearrings and their applications
• dev-gap/sophus

  Computing in nilpotent Lie algebras
• dev-gap/spinsym

  Brauer tables of spin-symmetric groups
• dev-gap/tomlib

  The GAP library of Tables of Marks
• dev-gap/toric

  GAP package for computing with toric varieties
• dev-gap/transgrp

  GAP transitive groups library
• dev-gap/utils

  Utility functions in GAP

dev-lang

• dev-lang/elpi

  Embeddable Lambda Prolog Interpreter in OCaml
• dev-lang/R

  Language and environment for statistical computing and graphics

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/conway-polynomials

  Python interface to Frank Lübeck's Conway polynomial database
• dev-python/cvxopt

  Python package for convex optimization
• dev-python/cypari2

  Cython interface to PARI
• dev-python/cysignals

  Interrupt and signal handling for Cython
• dev-python/fpylll

  Python bindings for sci-libs/fplll
• dev-python/lrcalc

  Python bindings for sci-mathematics/lrcalc
• dev-python/memory-allocator

  An extension class for memory allocation in cython
• 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/pplpy

  Python bindings for the Parma Polyhedra Library (PPL)
• dev-python/primecountpy

  Cython interface to sci-mathematics/primecount
• 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/libsemigroups

  C++ library for semigroups and monoids
• 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 command-line 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/gap

  System for computational discrete algebra. Core functionality.
• 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/kind2

  Multi-engine SMT-based automatic model checker
• 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/palp

  A Package for Analyzing Lattice Polytopes (PALP)
• 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/plfit

  Fit power-law distributions to empirical data
• 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/proverif

  Cryptographic protocol verifier in the formal model
• 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/verifpal

  Cryptographic protocol analysis for real-world protocols
• 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