List Question
20 TechQA 2016-12-26T03:41:25.200000Stronger completeness axiom for real numbers in Coq
315 views
Asked by davik
Two digits after the decimal point in a real number in Pascal
3.9k views
Asked by Aloulou123
Algorithm to Find Approximate Greatest Common Denominator for Noisy Data?
118 views
Asked by Justin Olbrantz
How to typecheck real numbers, and type-safely compare them to ints
316 views
Asked by tbrugere
Regular expression for the set of all C real numbers
339 views
Asked by Dhruvil
How to input and output real numbers in assembly language
2.2k views
Asked by Jane
Recovering implicit information from existentials in Coq
112 views
Asked by JozkoJezko
How to convert real number between 0 to 1 into binary in Javascript?
127 views
Asked by Utsav Mehta
Sql query with variables (real or integer)
127 views
Asked by leo
How can I select only the real numbers from an array? (Python 3)
5.4k views
Asked by Shervin Rad
Read from Byte Array and convert to Double
158 views
Asked by Sumsum
In Coq, are there tactics for working with Rabs, Rineq?
292 views
Asked by anon
Plot real part of complex-valued function in Python
2k views
Asked by Landon
How to check if the value of string variable is double
8.4k views
Asked by Chimebuka Okwuokenye
Matlab function that generates random real numbers in a closed interval
2.7k views
Asked by Alex Chihaia
Coq Real numbers -lexing and parsing 3.14
262 views
Asked by FZed
Coquelicot library for basic undergraduate calculus
251 views
Asked by FZed
checking if python object can be interpreted as real number [python]
2.1k views
Asked by Śmigło
Convert int to float in asm
338 views
Asked by Sơn Nguyễn
Why are the real numbers axiomatized in Coq?
1.5k views
Asked by V. Semeria