Лучшие программы для решения геометрических задач: Обзор и примеры