Gentoo Project

Mathematics Project

Library for parsing mathematical expressions

Bindings for low level C library I/O routines

Embeddable Lambda Prolog Interpreter in OCaml

Class library (C++) for numbers

Industrial strength theorem prover, logic and programming language

Automatic theorem prover

Simplified Satisfiability Solver

Arbitrary precision C-like arithmetic system

Proof assistant written in O'Caml

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

Tool for verifying floating-point or fixed-point arithmetic

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

C++ library and tools for symbolic calculations

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 algebra system for polynomial computations

Scalable Library for Eigenvalue Problem Computations

Universal Non-Uniform Random number generator

Cryptographic protocol analysis for real-world protocols

Platform for deductive program verification