Alternatives and similar repositories for calcium:

Users that are interested in calcium are comparing it to the libraries listed below

• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆121Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated last month
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 2 weeks ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆85Updated last month
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 7 months ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆47Updated 9 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 4 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆45Updated last week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 7 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated 2 weeks ago
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 9 months ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated last week
• IanBriggs / megalibm
  ☆16Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆36Updated last year
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆35Updated 3 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆144Updated 2 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆325Updated this week
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• robol / MPSolve
  Multiprecision Polynomial Solver
  ☆42Updated 2 years ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆358Updated this week
• MathBases / MathBases
  ☆18Updated last month
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆135Updated this week
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆57Updated last month