A linear algebra and mathematics library for computer graphics.
-
Updated
Jul 19, 2020 - Rust
A linear algebra and mathematics library for computer graphics.
Kotlin mathematics extensions library
Agda formalisation of the Introduction to Homotopy Type Theory
A community-driven specification process for mathematics libraries in Kotlin
Mathematics library
Library for computing Gröbner Basis in .NET. Includes sample application that checks if a given graph is k-colorable using the API.
Abstract Algebra and Number Theory Package for Scala
The missing mathematics operation library
Add a description, image, and links to the mathematics-library topic page so that developers can more easily learn about it.
To associate your repository with the mathematics-library topic, visit your repo's landing page and select "manage topics."