Маминов, А.Д.: Автоматизированное и гарантированное нахождение множества решений для задач кинематики параллельных роботов с использованием интервальных методов Кравчика и Хансена-Сенгупты. Информатика и автоматизация 25(4), 1179-1205 (2026). doi:10.15622/ia.25.4.7