Ультан АЕ, Абрамченко НВ, Мещерякова НА, Мещеряков ЕА. Алгоритмнахождения неравенств-следствий. ОНВ [Интернет]. 7 март 2018 г. [цитируется по 21 ноябрь 2024 г.];(1(157):87-91. доступно на: https://journals.omgtu.ru/index.php/onv/article/view/1162