J. Gerard Wolff 2022. Mathematics as Information Compression Via the Matching and Unification of Patterns. Research Highlights in Mathematics and Computer Science Vol. 3. (Dec. 2022), 118–174. DOI:https://doi.org/10.9734/bpi/rhmcs/v3/4762A.