Search:

sci-mathematics/spin

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

sci-mathematics/sympow

Symmetric power elliptic curve L-functions

sci-mathematics/topcom

Computing Triangulations Of Point Configurations and Oriented Matroids

sci-mathematics/twelf

Implementation of the logical framework LF

sci-mathematics/why3

Platform for deductive program verification

sci-mathematics/why3-for-spark

SPARK 2014 repository for the Why3 verification platform

sci-mathematics/yafu

Yet another factoring utility

sci-mathematics/yices2

SMT Solver supporting SMT-LIB and Yices specification language

sci-mathematics/alectryon

Toolkit for literate programming in Coq/Rocq

sci-mathematics/alt-ergo

Automatic theorem prover

sci-mathematics/arb

C library for arbitrary-precision interval arithmetic

sci-mathematics/btor2tools

Generic parser and tools for the BTOR2 format

sci-mathematics/cadabra

Field-theory motivated approach to computer algebra

sci-mathematics/cgal

C++ library for geometric algorithms and data structures

sci-mathematics/clipper2

Polygon Clipping and Offsetting

sci-mathematics/coq

Proof assistant written in O'Caml

sci-mathematics/coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

sci-mathematics/coq-stdlib

Stdlib for the Coq/Rocq Prover, used to be part of Coq

sci-mathematics/cryptominisat

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

sci-mathematics/cvc4

Automatic theorem prover for satisfiability modulo theories (SMT) problems

sci-mathematics/dunshire

Python library to solve linear games over symmetric cones

sci-mathematics/easycrypt

Computer-Aided Cryptographic Proofs

sci-mathematics/fann

Fast Artificial Neural Network Library

sci-mathematics/flint

Fast Library for Number Theory

sci-mathematics/flocq

Formalization of floating-point arithmetic for the Coq proof assistant

sci-mathematics/gappa

Tool for verifying floating-point or fixed-point arithmetic

sci-mathematics/gappalib-coq

Allows the certificates Gappa generates to be imported by the Coq

sci-mathematics/ginac

C++ library and tools for symbolic calculations

sci-mathematics/gsl-shell

Lua interactive shell for sci-libs/gsl

sci-mathematics/highs

Modern solver for linear, quadratic, and mixed-integer programs

sci-mathematics/kind2

Multi-engine SMT-based automatic model checker

sci-mathematics/lean

The Lean Theorem Prover

sci-mathematics/libpoly

C library for manipulating polynomials

sci-mathematics/manifold

Geometry library for topological robustness

sci-mathematics/maxima

Free computer algebra environment based on Macsyma

sci-mathematics/minisat

Small yet efficient SAT solver with reference paper

sci-mathematics/opensmt

Compact and open-source SMT-solver written in C++

sci-mathematics/petsc

Portable, Extensible Toolkit for Scientific Computation

sci-mathematics/plfit

Fit power-law distributions to empirical data

sci-mathematics/polymake

Tool for polyhedral geometry and combinatorics

sci-mathematics/primecount

Highly optimized CLI and library to count primes

sci-mathematics/primesieve

CLI and library for quickly generating prime numbers

sci-mathematics/psmt2-frontend

Library to parse and type-check an extension of the SMT-LIB 2 standard

sci-mathematics/pspp

Program for statistical analysis of sampled data

sci-mathematics/rkward

IDE for the R-project

sci-mathematics/slepc

Scalable Library for Eigenvalue Problem Computations

sci-mathematics/stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

sci-mathematics/vampire

The Vampire Prover, theorem prover for first-order logic

sci-mathematics/verifpal

Cryptographic protocol analysis for real-world protocols

sci-mathematics/wxmaxima

Graphical frontend to Maxima, using the wxWidgets toolkit