Text this: Логико-алгебраические методы решения геометрических задач и разработка программного обеспечения САПР