real-number
There are 12 repositories under real-number topic.
coq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
programmerjake/algebraics
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
discretegames/hypercomplex
A Python library for working with arbitrary-dimension hypercomplex numbers following the Cayley-Dickson construction of algebras.
esapulkkinen/cifl-math-library
Basic mathematics library
chrissimpkins/vectora
A Rust library for n-dimensional vector computation with real and complex scalar data
lcicala/Numbers
Exact real numbers representation in C#
AbdelrahmanWaelAtef/Complex-Real-System-of-Equations-Solver
This is a Tkinter GUI python script that solves any complex/real system of equations using Cramer's rule.
Andrea-Vigano/rnenv
A python library for operations with real numbers
qiqvo/LongNums
Long arithmetics. Real numbers. Multiplication. Prime tests.
bincrafters/conan-gmp
[OBSOLETE] The recipe is now in https://github.com/conan-io/conan-center-index
ryuhojin/ExtendNumber.js
Use it when you want to perform integer and real number
Samdney/notes-3sum
Notes: "A 3SUM algorithm on the binary addition level of atomic generated real numbers" , id: notes_000X, Notes