Mathematics Project

- Bindings for low level C library I/O routines
- Raster fonts for jsmath
- Automatic 3d tetrahedral mesh generator
- Class library (C++) for numbers
- C++ library for semigroups and monoids
- Fast symbolic manipulation library, written in C++
- Automatic theorem prover
- Generic parser and tools for the BTOR2 format
- Arbitrary precision C-like arithmetic system
- Program for scientific visualization and statistical analyis
- 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
- A free C++ Computer Algebra System library and its interfaces
- Regression, econometrics and time-series library
- Just Another Gibbs Sampler for Bayesian MCMC simulation
- The Lean Theorem Prover
- C library for manipulating polynomials
- Plot parametric and implicit surfaces
- High-level interactive language for numerical computations
- Computer-aided number theory C library and tools
- Scalable Library for Eigenvalue Problem Computations
- Computing Triangulations Of Point Configurations and Oriented Matroids
- Universal Non-Uniform Random number generator
- The Vampire Prover, theorem prover for first-order logic
- 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.