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#

Notes: "A 3SUM algorithm on the binary addition level of atomic generated real numbers" , id: notes_000X, Notes

Use it when you want to perform integer and real number

Long arithmetics. Real numbers. Multiplication. Prime tests.

[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