B. Bantchev, “From construction to computation to symbolic calculation: an example in plane geometry”, MEM, vol. 52, pp. 148–153, Apr. 2023.