rational-number

9 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
rationalize() for BigFloats has an upper limit?
user_141947930
•
2
2
53
bigfloat rational-number julia
How are rational numbers implemented in Julia
user_95557940
•
4
2
135
rational-number julia programming-languages
Rational approximation of double using int numerator and denominator in C++
user_37429550
•
2
1
300
rational-number approximation floating-point algorithm c++
Is "less than" for rational numbers decideable in Coq?
user_25534160
•
3
1
98
rational-number decidable coq comparison
Trivial Rationals problems without variables in SBV Solver in Haskell
user_168161650
•
2
1
97
rational-number smt sbv solver haskell
Why are rational numbers from Num printed as <abstr>?
user_140823850
•
2
1
124
rational-number opam arbitrary-precision ocaml
Convert a float to a rational number that is guaranteed to convert back to the original float
user_5666590
•
2
1
708
rational-number numerical-analysis fractions floating-point
rationalize number with limit denominator
user_22912480
•
3
1
72
rational-number maxima floating-point type-conversion
Square root calculation using continued fractions to n bits of precision
user_61995170
•
2
1
334
rational-number continued-fractions arbitrary-precision square-root precision
  • 1
Hot Questions