Маминов, А. Д. Автоматизированное и гарантированное нахождение множества решений для задач кинематики параллельных роботов с использованием интервальных методов Кравчика и Хансена-Сенгупты. ИА 2026, 25, 1179-1205.