mathpaqs
by zertovitch
Mathpaqs: a collection of mathematical packages in pure Ada
AI summary
Math library
A collection of reusable mathematical components in Ada
- stars
- 11
- forks
- 4
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Math library
A collection of math routines in Ada.
Math library
Fast scalar math routines with a focus on efficiency and simplicity.
Math Library
A comprehensive library of formalized mathematical theories
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Array library
A Numpy-like library in Swift for multi-dimensional array and matrix operations
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Symbolic math library
A JavaScript library for symbolic mathematics and algebraic computation.
Mathematics foundation library
A proof assistant library implementing univalent foundations of mathematics
Polynomial library
A Java/Scala library for efficient polynomial arithmetic and algebraic calculations
Tactic library
A Coq library that enables the use of Micromega arithmetic solvers for goals stated with Mathematical Components definitions
Rational arithmetic library
A .NET library implementing arbitrary precision rational number arithmetic
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions mathpaqs.
