sci-mathematics

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

Double precision SIMD-oriented Fast Mersenne Twister library

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

Mathematics software for geometry

Compute Groebner fans and tropical varieties

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

A GP to C translator

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

A C library implementing a suite of algorithms to factor large integers

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

An Automated Deduction System

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