← Mathematical compendium

Published equation contexts

f^(x)\hat{f}(x)

Why this formula appears here

This decomposition is worth writing out because it names what a reported simulation number actually is: not the true answer f(x) , but a sum of the true answer with a discretization error that shrinks with step size h , a rounding error governed by machine precision u , and — the term simulations share with no other approach on this list — an irreducible modeling error from every simplifying assumption baked into the equations themselves before any computer touches them. A formal proof and a peer-reviewed argument both aim at f(x) exactly; a simulation reports f^(x)\hat{f}(x) and, if it is honest, reports an estimate of how large the three error terms might be.

Read the full article-specific guide →

Read the representative guide

f^\hat{f}

Symbol hatf

hatf is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Read this term in its guide →
xx

Symbol x

x is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Read this term in its guide →

How to interpret it

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

Research cited beside this formula

Published contexts (1)

A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.

f^(x)\hat{f}(x)

Equation 6 · Mathematics

Comparing the Main Approaches to Mathematics, Proof, and Scientific Computation

This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text.

This decomposition is worth writing out because it names what a reported simulation number actually is: not the true answer f(x) , but a sum of the true answer with a discretization error that shrinks with step size h , a rounding error governed by machine precision u , and — the term simulations share with no other approach on this list — an irreducible modeling error from every simplifying assumption baked into the equations themselves before any computer touches them. A formal proof and a peer-reviewed argument both aim at f(x) exactly; a simulation reports f^(x)\hat{f}(x) and, if it is honest, reports an estimate of how large the three error terms might be.

Equation guide → · Article →