Формальное описание решения задачи приведения полного уравнения прямой к уравнению "в отрезках" и его проверки - Тишкова, Валерия Ивановна (Новые информационные технологии в исследовании сложных структур : материалы Пятнадцатой международной конференции, 16–20 сентября 2024 г.)