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