Search: %s
Search Results
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
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