Part IV Certified numerical computation
On this page · Permalink · Source line 26
A remainder theorem concerns exact arithmetic. A numerical enclosure must also contain the arithmetic used to evaluate the approximation. This part connects those obligations, states the acceptance rule, and examines the evidence and limits of the implementation.