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