mathematics-library
There are 20 repositories under mathematics-library topic.
rustgd/cgmath
A linear algebra and mathematics library for computer graphics.
SciProgCentre/kmath
Kotlin mathematics extensions library
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
jishanshaikh4/lib-math
đź”° A mathematical library in C (Portable to Python3) having implementation of numerical-methods, Gamma, Bessel, trigonometric, hyperbolic, approximation functions from scratch
SciProgCentre/KEEP-math
A community-driven specification process for mathematics libraries in Kotlin
Lolirofle/stuff-in-agda
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
SciProgCentre/kmath-gsl
GNU Scientific Library support for KMath
JuanGdelaCruz/GrobnerBasis
Library for computing Gröbner Basis in .NET. Includes sample application that checks if a given graph is k-colorable using the API.
lounres/Kone
[WIP] Kotlin library for pure mathematics computational experiments
FGlazov/ChowRings
Matroid Chow Rings, and their semi-small decompositions.
rocher/euler_tools
Assortment of Ada functions to solve Euler Project problems
asanchezyali/zmodn
The Zmodn package provides a class for representing integers modulo a given prime number. This class can be used to applications such as cryptography and computer algebra.
blakehull/ScAlgebra
Abstract Algebra and Number Theory Package for Scala
LCluber/Type6.js
Mathematics library
MPRT-Lab/physicX
The library for mathematics and physics
CPCoders/CPMath
A NPM mathematics library for CP
SyntakticSugar/mathematics
Libary of mathematics :books: formally verified in Lean 4 :white_check_mark:
anfauglit/setLibrary
C library containing implementation of Set data structure and all commonly expected operations to manipulate them
scaldings/math-library
A short and simple library including some helpful math calculations.
supanadit/mathics
The missing mathematics operation library