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