Stupid is as stupid does: taking the square root of the square of a floating-point number (Q2520675)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Stupid is as stupid does: taking the square root of the square of a floating-point number |
scientific article |
Statements
Stupid is as stupid does: taking the square root of the square of a floating-point number (English)
0 references
16 December 2016
0 references
floating-point arithmetic
0 references
formal proof
0 references
square
0 references
square root
0 references
radix
0 references
Coq
0 references
