Algorithm to Find Approximate Greatest Common Denominator for Noisy Data?...

Sql query with variables (real or integer)...

Two digits after the decimal point in a real number in Pascal...

Real numbers in Coq...

Plot real part of complex-valued function in Python...

In Coq, are there tactics for working with Rabs, Rineq?...

Large float and double numbers in java printing/persisting incorrectly. Is this behavior due to numb...

Stronger completeness axiom for real numbers in Coq...

ML a real list return a real number...

Why are the real numbers axiomatized in Coq?...

How can I select only the real numbers from an array? (Python 3)...

Coq Reals and Ssreflect GRings...

How to check if the value of string variable is double...

checking if python object can be interpreted as real number [python]...

Coq Real numbers -lexing and parsing 3.14...

Coquelicot library for basic undergraduate calculus...

How do you translate the fractional part of a short real number as returned by the 8087 co-processor...

How to auto prove simple inequality of real numbers in Coq?...

Delphi - how do you format a real number with leading zeros?...

Matlab function that generates random real numbers in a closed interval...

Choco-solver: coefficients of the variables are real numbers...

How is "less than" defined for real numbers in Coq?...

How to automatically prove simple equality of real numbers in Coq?...

How to simplify real number terms in Coq?...