Equation 1 · How Mathematics, Proof, and Scientific Computation Actually Work
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
This equation states a bound: one expression must stay on the indicated side of the other under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
Symbol x
x is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.
Symbol y
y is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.
Symbol delta
delta is one of the signed contributions combined to compute the quantity on the left.
Symbol u
the unit roundoff — roughly 10^{-16} for standard double precision — and is addition, subtraction, multiplication, or division.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →How to interpret it
Read it with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
Computers represent real numbers with a finite number of bits, following a specification — IEEE 754 — that fixes the format and the rounding behavior of arithmetic exactly enough that different compliant hardware and software give reproducible results for the same operations [ 5 ] . The standard’s core guarantee is deceptively narrow: each individual elementary operation is correctly rounded , meaning the result is the closest representable floating-point number to the true mathematical result of that one operation. For a single addition or multiplication, this means . where u is the unit roundoff — roughly 10^{-16} for standard double precision — and is…
Read the full surrounding passage
Computers represent real numbers with a finite number of bits, following a specification — IEEE 754 — that fixes the format and the rounding behavior of arithmetic exactly enough that different compliant hardware and software give reproducible results for the same operations [ 5 ] . The standard’s core guarantee is deceptively narrow: each individual elementary operation is correctly rounded , meaning the result is the closest representable floating-point number to the true mathematical result of that one operation. For a single addition or multiplication, this means . where u is the unit roundoff — roughly 10^{-16} for standard double precision — and is addition, subtraction, multiplication, or division. Each single step, in other words, is correct up to a tiny, precisely bounded relative error.
Sources cited in the surrounding passage
These citations give research context. Read each source to check which claims it supports.
Return to How Mathematics, Proof, and Scientific Computation Actually Work