← Back to article

Equation 5 · How Mathematics, Proof, and Scientific Computation Actually Work

What does this equation mean?

uu

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.

the unit roundoff — roughly 10^{-16} for standard double precision — and op\mathrm{op} is addition, subtraction, multiplication, or division. 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

uu

Symbol u

the unit roundoff — roughly 10^{-16} for standard double precision — and op\mathrm{op} is addition, subtraction, multiplication, or division.

Understand this part →

How to interpret it

Read this expression with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

The difficulty is that a simulation is not one operation; it is billions of them, composed. A relative error of u per operation does not by itself say anything about the error after a million timesteps, because errors can compound, cancel, or amplify depending entirely on the structure of the calculation. This is the subject of rounding error analysis , and it produces two genuinely different kinds of statement that are often conflated in casual discussion. A forward error bound asks how far the computed answer can be from the true answer. A backward error bound asks, instead, how large a perturbation of the original input would have been needed to produce the computed output exactly — and…
Read the full surrounding passage
The difficulty is that a simulation is not one operation; it is billions of them, composed. A relative error of u per operation does not by itself say anything about the error after a million timesteps, because errors can compound, cancel, or amplify depending entirely on the structure of the calculation. This is the subject of rounding error analysis , and it produces two genuinely different kinds of statement that are often conflated in casual discussion. A forward error bound asks how far the computed answer can be from the true answer. A backward error bound asks, instead, how large a perturbation of the original input would have been needed to produce the computed output exactly — and it is frequently the more tractable and more informative quantity, because it separates the algorithm’s behavior from the problem’s own sensitivity. Higham’s systematic treatment of this distinction, and of the perturbation theory needed to convert a backward bound into a usable forward bound, is the standard reference for how these bounds are actually derived and what they do and do not promise [ 6 ] .

Read the equation in its article →

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

Browse the mathematical compendium →