Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
-
Updated
Nov 28, 2024 - Coq
#
real-number
Here are 12 public repositories matching this topic...
algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics
-
Updated
Nov 28, 2023 - Rust
A Python library for working with arbitrary-dimension hypercomplex numbers following the Cayley-Dickson construction of algebras.
python construction algebra math mathematics quaternion complex-numbers cayley-dickson octonion real-number hypercomplex pathion chingon routon voudon sedenion hypercomplex-numbers
-
Updated
Aug 14, 2022 - Python
Basic mathematics library
haskell graph graph-algorithms matrix mathematics haskell-library streams category-theory generating-function cabal-package monoids vector-math units-of-measurement real-number
-
Updated
Aug 30, 2024 - Haskell
A Rust library for n-dimensional vector computation with real and complex scalar data
rust data math vector scalar mathematics rust-lang data-analysis rust-library integer floating-point 3d 2d vector-math rust-crate complex-number vector-computations real-number
-
Updated
Dec 17, 2023 - Rust
Exact real numbers representation in C#
-
Updated
Jun 26, 2023 - C#
Long arithmetics. Real numbers. Multiplication. Prime tests.
-
Updated
Sep 14, 2017 - C++
Notes: "A 3SUM algorithm on the binary addition level of atomic generated real numbers" , id: notes_000X, Notes
-
Updated
Jan 9, 2021 - TeX
Use it when you want to perform integer and real number
-
Updated
Jan 1, 2022 - JavaScript
[OBSOLETE] The recipe is now in https://github.com/conan-io/conan-center-index
-
Updated
Oct 16, 2019 - Python
This is a Tkinter GUI python script that solves any complex/real system of equations using Cramer's rule.
-
Updated
Jul 2, 2022 - Python
A python library for operations with real numbers
algebra mathematics polynomials scientific-computing polynomial polynomial-arithmetic real-number realnumber
-
Updated
Jun 6, 2020 - Python
Improve this page
Add a description, image, and links to the real-number topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the real-number topic, visit your repo's landing page and select "manage topics."