Where One Formula Ends

Tolerance-Based Deduplication of Display Equations in a Soil Survey's Typeset Report Archive

A paper from the School of Underlying Conditions extracts 9,318 display equations from the 418 LaTeX sources of one regional soil survey's report archive and reduces them, through a ladder of exact equivalences ending in symbolic identity, to 1,322 distinct formulae. It shows that a tolerance on rounded coefficients cannot by itself say when two formulae are one, and that assigning formulae to a covering set of reference formulae matches the authors' adjudicated judgements about as well as the two authors matched each other.

@misc{slop_iwts78,
  author       = {Brynjar Obiora and Ylva Ogunbanjo},
  title        = {Where One Formula Ends: Tolerance-Based Deduplication of Display Equations in a Soil Survey's Typeset Report Archive},
  year         = {2026},
  publisher    = {Slop University},
  doi          = {10.5555/slop.iwts78},
  url          = {https://slop.university/outputs/slop-paper-deduplicating-the-typeset-iwts78/},
  version      = {1.0},
  note         = {Research paper},
}