Search:

sci-mathematics/rw

Compute rank-width decompositions of graphs

sci-mathematics/smtinterpol

Interpolating SMT-solver computing Craig interpolants for various theories

sci-mathematics/rngstreams

Multiple independent streams of pseudo-random numbers

sci-mathematics/unuran

Universal Non-Uniform Random number generator

sci-mathematics/geogebra-bin

Mathematics software for geometry

sci-mathematics/acl2

Industrial strength theorem prover, logic and programming language

sci-mathematics/fricas

FriCAS is a fork of Axiom computer algebra system

sci-mathematics/singular

Computer algebra system for polynomial computations

sci-mathematics/proverif

Cryptographic protocol verifier in the formal model

sci-mathematics/4ti2

Software package for algebraic, geometric and combinatorial problems

sci-mathematics/abc

System for sequential logic synthesis and formal verification

sci-mathematics/bertini

Software for Numerical Algebraic Geometry

sci-mathematics/cadical

Simplified Satisfiability Solver

sci-mathematics/calc

Arbitrary precision C-like arithmetic system

sci-mathematics/cubicle

Model checker for verifying properties of array-based systems

sci-mathematics/dataplot

Program for scientific visualization and statistical analyis

sci-mathematics/dsfmt

Double precision SIMD-oriented Fast Mersenne Twister library

sci-mathematics/eclib

Programs for elliptic curves defined over the rational numbers

sci-mathematics/ent

Random number sequence test and entropy calculation

sci-mathematics/eprover

Automated theorem prover for full first-order logic with equality

sci-mathematics/euler

Mathematical programming environment

sci-mathematics/form

Symbolic Manipulation System

sci-mathematics/frobby

Software system and project for computations with monomial ideals

sci-mathematics/genius

Genius Mathematics Tool and the GEL Language

sci-mathematics/geomview

Interactive Geometry Viewer

sci-mathematics/gfan

Compute Groebner fans and tropical varieties

sci-mathematics/gimps

The Great Internet Mersenne Prime Search

sci-mathematics/glpk

GNU Linear Programming Kit

sci-mathematics/gmp-ecm

Elliptic Curve Method for Integer Factorization

sci-mathematics/gretl

Regression, econometrics and time-series library

sci-mathematics/jags

Just Another Gibbs Sampler for Bayesian MCMC simulation

sci-mathematics/kissat

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

sci-mathematics/lcalc

Command-line utility and library for L-function computations

sci-mathematics/lpsolve

Mixed Integer Linear Programming (MILP) solver

sci-mathematics/mathmod

Plot parametric and implicit surfaces

sci-mathematics/mathomatic

Automatic algebraic manipulator

sci-mathematics/metamath

Proof verifier based on a minimalistic formalism

sci-mathematics/msieve

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

sci-mathematics/nauty

Computing automorphism groups of graphs and digraphs

sci-mathematics/nestedsums

A GiNaC-based library for symbolic expansion of certain transcendental functions

sci-mathematics/normaliz

Tool for computations in affine monoids and more

sci-mathematics/octave

High-level interactive language for numerical computations

sci-mathematics/otter

An Automated Deduction System

sci-mathematics/palp

A Package for Analyzing Lattice Polytopes (PALP)

sci-mathematics/pari

Computer-aided number theory C library and tools

sci-mathematics/picosat

SAT solver with proof and core support

sci-mathematics/prng

Pseudo-Random Number Generator library

sci-mathematics/prover9

Automated theorem prover for first-order and equational logic

sci-mathematics/sha1-polyml

implementation of SHA1 is taken from the GNU coreutils package

sci-mathematics/spin

An efficient logic-model checker for the verification of multi-threaded code