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