Bantchev, B. From Construction to Computation to Symbolic Calculation: An Example in Plane Geometry. MEM 2023, 52, 148-153.