Mathematics Project

- Bindings for low level C library I/O routines
- Nilpotent Quotients of finitely-presented groups
- Language and environment for statistical computing and graphics
- Python wrappers to the symengine C++ library
- Automatic 3d tetrahedral mesh generator
- Class library (C++) for numbers
- Fast symbolic manipulation library, written in C++
- Industrial strength theorem prover, logic and programming language
- Automatic theorem prover
- Generic parser and tools for the BTOR2 format
- Simplified Satisfiability Solver
- Arbitrary precision C-like arithmetic system
- C++ library for geometric algorithms and data structures
- Advanced SAT solver with C++ and command-line interfaces
- Program for scientific visualization and statistical analyis
- Automated theorem prover for full first-order logic with equality
- Fast Artificial Neural Network Library
- Formalization of floating-point arithmetic for the Coq proof assistant
- Software system and project for computations with monomial ideals
- Allows the certificates Gappa generates to be imported by the Coq
- Compute Groebner fans and tropical varieties
- A free C++ Computer Algebra System library and its interfaces
- 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
- Plot parametric and implicit surfaces
- Computing automorphism groups of graphs and digraphs
- Tool for computations in affine monoids and more
- Compact and open-source SMT-solver written in C++
- 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

Based on the data of repology.org, there might be a new version available for these packages.

Please don't solely rely on this information, as the repology data might not be accurate.

Please don't solely rely on this information, as the repology data might not be accurate.