There are 0 repository under rationals topic.
🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.
A symbolic library written purely in Nim with the ability to compile expressions into efficient functions.
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq
Numbers in Standard ML
Implements fractions (or rationals) in Java. Includes arithmetic functions, toString, equals, and hashCode
Given a rational number n, n >= 0, with denominator strictly positive, decompose this number as a sum of rationals with numerators equal to one and without repetitions.
:woman_farmer: Rational field for JavaScript