Bantchev, B. (2023) “From construction to computation to symbolic calculation: an example in plane geometry”, Mathematics and Education in Mathematics, 52, pp. 148–153. doi: 10.55630/mem.2023.52.148-153.