mathpaqs
Math library
A collection of reusable mathematical components in Ada
Mathpaqs: a collection of mathematical packages in pure Ada
11 stars
5 watching
4 forks
Language: Ada
last commit: almost 2 years agoLinked from 1 awesome list
adaada-languageada-libraryformula-parsermath-librarymatrixrandomrunge-kutta
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jscparker/math_packages | A collection of math routines in Ada. | 25 |
 pmttavara/pt_math | Fast scalar math routines with a focus on efficiency and simplicity. | 54 |
 math-comp/math-comp | A comprehensive library of formalized mathematical theories | 593 |
 vafeiadis/hahn | A collection of lemmas and tactics about lists and binary relations for a proof assistant | 30 |
| math-comp/analysis | A Coq proof-assistant library for real analysis and mathematical structures | 210 |
 thery/mathcomp-extra | A collection of reusable mathematical components and algorithms implemented in Coq | 5 |
 unimath/unimath | Formalizes mathematics using the univalent point of view | 964 |
 jjjkkkjjj/matft | A Numpy-like library in Swift for multi-dimensional array and matrix operations | 135 |
 coq-community/math-classes | A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq | 162 |
 davidedc/algebrite | A JavaScript library for symbolic mathematics and algebraic computation. | 973 |
| unimath/foundations | A proof assistant library implementing univalent foundations of mathematics | 241 |
 poslavskysv/rings | A Java/Scala library for efficient polynomial arithmetic and algebraic calculations | 74 |
| math-comp/mczify | A Coq library that enables the use of Micromega arithmetic solvers for goals stated with Mathematical Components definitions | 24 |
 tompazourek/rationals | A .NET library implementing arbitrary precision rational number arithmetic | 80 |
 hivert/coq-combi | An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions. | 1 |