Gentoo Project

Mathematics Project

Library for parsing mathematical expressions

Bindings for low level C library I/O routines

Embeddable Lambda Prolog Interpreter in OCaml

Python wrappers to the symengine C++ library

Automatic 3d tetrahedral mesh generator

Class library (C++) for numbers

Fast symbolic manipulation library, written in C++

Industrial strength theorem prover, logic and programming language

Automatic theorem prover

Simplified Satisfiability Solver

Arbitrary precision C-like arithmetic system

Advanced SAT solver with C++ and command-line interfaces

Program for scientific visualization and statistical analyis

Automated theorem prover for full first-order logic with equality

Formalization of floating-point arithmetic for the Coq proof assistant

Software system and project for computations with monomial ideals

Allows the certificates Gappa generates to be imported by the Coq

Compute Groebner fans and tropical varieties

A free C++ Computer Algebra System library and its interfaces

Regression, econometrics and time-series library

Just Another Gibbs Sampler for Bayesian MCMC simulation

Keep-it-simple and clean bare metal SAT solver written in C

The Lean Theorem Prover

C library for manipulating polynomials

Plot parametric and implicit surfaces

Proof verifier based on a minimalistic formalism

Computing automorphism groups of graphs and digraphs

Tool for computations in affine monoids and more

High-level interactive language for numerical computations

Compact and open-source SMT-solver written in C++

Computer-aided number theory C library and tools

Computer algebra system for polynomial computations

Scalable Library for Eigenvalue Problem Computations

Universal Non-Uniform Random number generator

Cryptographic protocol analysis for real-world protocols