StackOverflow Questions for Tag: real-number

V. Semeria

Reputation: 3256

Why are the real numbers axiomatized in Coq?

coqreal-number

Score: 14

Answers: 2

Sumsum

Reputation: 3

Read from Byte Array and convert to Double

cdoublereal-number

Score: 0

Answers: 1

Shervin Rad

Reputation: 467

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

pythonarrayssympycomplex-numbersreal-number

Score: 3

Answers: 2

larsr

Reputation: 5811

Coq Reals and Ssreflect GRings

coqreal-numberssreflect

Score: 3

Answers: 1

Chimebuka Okwuokenye

Reputation: 307

How to check if the value of string variable is double

c#stringdoublereal-number

Score: 4

Answers: 3

JozkoJezko

Reputation: 51

Recovering implicit information from existentials in Coq

coqreal-number

Score: 5

Answers: 2

Jane

Reputation: 11

How to input and output real numbers in assembly language

assemblyiofloating-pointfpureal-number

Score: 0

Answers: 1

Śmigło

Reputation: 1047

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

pythonreal-number

Score: 3

Answers: 4

Ben

Reputation: 490

"Implicit" definition of the limit of a function in Coq

mathdefinitioncoqreal-number

Score: 4

Answers: 0

FZed

Reputation: 528

Coq Real numbers -lexing and parsing 3.14

coqreal-number

Score: 3

Answers: 1

FZed

Reputation: 528

Coquelicot library for basic undergraduate calculus

coqreal-number

Score: 4

Answers: 1

simbabarry

Reputation: 9

Bash script ignores the negative prefix on negative numbers

bashreal-number

Score: -2

Answers: 1

bad

Reputation: 939

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

assemblybinarynumbersx86-16real-number

Score: 3

Answers: 1

thor

Reputation: 22530

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

automationcoqinequalityreal-number

Score: 5

Answers: 1

rossmcm

Reputation: 5640

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

delphiformattingreal-number

Score: 8

Answers: 2

saketa

Reputation: 1

gaussian noise in systemVerilog

system-verilogreal-number

Score: -3

Answers: 1

Alex Chihaia

Reputation: 103

Matlab function that generates random real numbers in a closed interval

matlabfunctionintervalsreal-number

Score: 3

Answers: 1

Quang

Reputation: 3

Choco-solver: coefficients of the variables are real numbers

chocoreal-number

Score: 0

Answers: 1

thor

Reputation: 22530

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

coqreal-number

Score: 7

Answers: 2

thor

Reputation: 22530

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

coqcoq-tacticreal-number

Score: 4

Answers: 1

PreviousPage 2Next

StackOverflow Questions for Tag: real-number

Why are the real numbers axiomatized in Coq?

Read from Byte Array and convert to Double

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

Recovering implicit information from existentials in Coq

How to input and output real numbers in assembly language

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

&quot;Implicit&quot; definition of the limit of a function in Coq

Coq Real numbers -lexing and parsing 3.14

Coquelicot library for basic undergraduate calculus

Bash script ignores the negative prefix on negative numbers

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?

gaussian noise in systemVerilog

Matlab function that generates random real numbers in a closed interval

Choco-solver: coefficients of the variables are real numbers

How is &quot;less than&quot; defined for real numbers in Coq?

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

"Implicit" definition of the limit of a function in Coq

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