sci-mathematics

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

Double precision SIMD-oriented Fast Mersenne Twister library

Programs for elliptic curves defined over the rational numbers

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

Mathematics software for geometry

Compute Groebner fans and tropical varieties

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

C++ library and tools for symbolic calculations

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

Wolfram Mathematica

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