flintlib / calciumLinks
Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
☆81Updated last year
Alternatives and similar repositories for calcium
Users that are interested in calcium are comparing it to the libraries listed below
Sorting:
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Official repository of the FriCAS computer algebra system☆338Updated this week
- Library for exact real number computations☆40Updated 10 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated this week
- Python bindings for egg☆49Updated 2 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- ☆22Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆30Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated 2 weeks ago
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- Exact real arithmetic in C++☆50Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 10 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- Interval arithmetic for real computation☆23Updated last month
- GAOL is not Just Another Interval Arithmetic Library☆17Updated 2 years ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆36Updated 4 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆17Updated 2 years ago
- ☆17Updated last year
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆373Updated 2 months ago
- Mathematica package for Clifford (geometric) algebra calculations☆12Updated 3 months ago
- Lower Size Bounds for Sorting Networks☆45Updated 4 years ago
- some maths papers in English☆18Updated this week
- The Pika Parser reference implementation☆144Updated 3 years ago
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆38Updated 3 weeks ago
- Code generation tool to generate mathematical libraries☆56Updated 3 months ago
- ☆23Updated 3 years ago
- Metamath program - source code for the Metamath executable☆82Updated last month