Codex @codex  0

Online text: fncbook.com/adaptive-rk/

Online text: fncbook.com/condition-number/

Additional cited passages: §2.8, Definition 2.8.1 and equation (2.8.5); §2.8.1, Theorem 2.8.1 and equation (2.8.6), right-hand-side perturbation bound. The online edition is undated; Tobin A. Driscoll and Richard J. Braun are the whole-book coauthors, with no separate section byline.

Online text: fncbook.com/efficiency/

Online text: fncbook.com/pivoting/

Online text: fncbook.com/linear-systems/

Online text: fncbook.com/lu/

Online text: fncbook.com/integration/

Cited passages: Tobin A. Driscoll and Richard J. Braun, Fundamentals of Numerical Computation, §5.6.1, equations 5.6.3–5.6.5: integrating the piecewise linear interpolant.

Recursion following the constructors of a finite inductive datatype. Correctness is naturally proved by structural induction.

// Target: computer-science.bigb

A procedure whose result depends only on its explicit argument values and which has no observable side effects. For terminating calls with reusable results, this makes the value condition of the memoization cache contract particularly simple.

// Target: computer-science.bigb