sci-mathematics

Industrial strength theorem prover, logic and programming language

Automatic theorem prover

Simplified Satisfiability Solver

Arbitrary precision C-like arithmetic system

Polygon Clipping and Offsetting

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

Program for scientific visualization and statistical analyis

Double precision SIMD-oriented Fast Mersenne Twister library

Computer-Aided Cryptographic Proofs

Programs for elliptic curves defined over the rational numbers

Automated theorem prover for full first-order logic with equality

Fast Library for Number Theory

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

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

Computing automorphism groups of graphs and digraphs

Tool for computations in affine monoids and more

High-level interactive language for numerical computations

An Automated Deduction System

Computer-aided number theory C library and tools

Scalable Library for Eigenvalue Problem Computations

Universal Non-Uniform Random number generator

Cryptographic protocol analysis for real-world protocols

Platform for deductive program verification