Решение задач по планиметрии. Технология алгоритмического подхода на основе задач-теорем. Моделирование в среде Turbo Pascal