real-number

There are 11 repositories under real-number topic.

rocq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Language:Rocq Prover115 13 4046
programmerjake/algebraics
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
Language:Rust28 3 33
discretegames/hypercomplex
A Python library for working with arbitrary-dimension hypercomplex numbers following the Cayley-Dickson construction of algebras.
Language:Python26 3 38
esapulkkinen/cifl-math-library
Basic mathematics library
Language:Haskell12 1 100
chrissimpkins/vectora
A Rust library for n-dimensional vector computation with real and complex scalar data
Language:Rust9 2 440
lcicala/Numbers
Exact real numbers representation in C#
Language:C#1 1 00
Andrea-Vigano/rnenv
A python library for operations with real numbers
Language:Python0 1 00
qiqvo/LongNums
Long arithmetics. Real numbers. Multiplication. Prime tests.
Language:C++0 1 00
bincrafters/conan-gmp
[OBSOLETE] The recipe is now in https://github.com/conan-io/conan-center-index
Language:Python8 03
ryuhojin/ExtendNumber.js
Use it when you want to perform integer and real number
Language:JavaScript2 0
Samdney/notes-3sum
Notes: "A 3SUM algorithm on the binary addition level of atomic generated real numbers" , id: notes_000X, Notes
Language:TeX2 0