Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
-
Updated
Sep 3, 2024 - Coq
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
A Python library for working with arbitrary-dimension hypercomplex numbers following the Cayley-Dickson construction of algebras.
Basic mathematics library
A Rust library for n-dimensional vector computation with real and complex scalar data
Exact real numbers representation in C#
Long arithmetics. Real numbers. Multiplication. Prime tests.
Use it when you want to perform integer and real number
Notes: "A 3SUM algorithm on the binary addition level of atomic generated real numbers" , id: notes_000X, Notes
[OBSOLETE] The recipe is now in https://github.com/conan-io/conan-center-index
This is a Tkinter GUI python script that solves any complex/real system of equations using Cramer's rule.
A python library for operations with real numbers
Add a description, image, and links to the real-number topic page so that developers can more easily learn about it.
To associate your repository with the real-number topic, visit your repo's landing page and select "manage topics."