Wolff, J. Gerard. “Mathematics As Information Compression Via the Matching and Unification of Patterns”. Research Highlights in Mathematics and Computer Science Vol. 3 (December 14, 2022): 118–174. Accessed June 9, 2026. https://stm.bookpi.org/RHMCS-V3/article/view/8959.