Topic: "real-number"
rocq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Language: Coq - Size: 10.8 MB - Last synced at: 15 days ago - Pushed at: 3 months ago - Stars: 114 - Forks: 45
programmerjake/algebraics
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
Language: Rust - Size: 698 KB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 2
discretegames/hypercomplex
A Python library for working with arbitrary-dimension hypercomplex numbers following the Cayley-Dickson construction of algebras.
Language: Python - Size: 522 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 24 - Forks: 8
esapulkkinen/cifl-math-library
Basic mathematics library
Language: Haskell - Size: 36.9 MB - Last synced at: 11 days ago - Pushed at: 14 days ago - Stars: 12 - Forks: 0
chrissimpkins/vectora
A Rust library for n-dimensional vector computation with real and complex scalar data
Language: Rust - Size: 290 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0
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.
Language: Python - Size: 7.63 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
ryuhojin/ExtendNumber.js
Use it when you want to perform integer and real number
Language: JavaScript - Size: 15.6 KB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
Samdney/notes-3sum
Notes: "A 3SUM algorithm on the binary addition level of atomic generated real numbers" , id: notes_000X, Notes
Language: TeX - Size: 3.61 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
Andrea-Vigano/rnenv
A python library for operations with real numbers
Language: Python - Size: 186 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
bincrafters/conan-gmp 📦
[OBSOLETE] The recipe is now in https://github.com/conan-io/conan-center-index
Language: Python - Size: 27.3 KB - Last synced at: 4 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 3
qiqvo/LongNums
Long arithmetics. Real numbers. Multiplication. Prime tests.
Language: C++ - Size: 33.2 KB - Last synced at: 10 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
