fpf.tools
Library / Mathematical Thinking DPF
Jump to passage
In this reading
Source · lines 2939–2947

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:35:10 UTC

MATH.20:12 - Relations

  • MATH.19 constructs the intermediate inequality or inclusion; MATH.6 separates a claimed bound from a counterexample.
  • MATH.11 develops invariants that can constrain the unknown; MATH.17 helps analyze operations used to propagate comparisons.
  • MATH.21 uses bounds to construct limits and obtain sufficient finite approximations.
  • C.29 and MMP connect the mathematical comparison to the modeled subject.
  • Computational methods can use these results in search exclusions, relaxation, approximation and resource analysis.
  • FPF’s characterization, Pareto and improvement methods use the resulting comparisons to choose the next work.