Bantchev, B. “From Construction to Computation to Symbolic Calculation: An Example in Plane Geometry”. Mathematics and Education in Mathematics, vol. 52, Apr. 2023, pp. 148-53, doi:10.55630/mem.2023.52.148-153.