УЛЬТАН, А. Е.; АБРАМЧЕНКО, Н. В.; МЕЩЕРЯКОВА, Н. А.; МЕЩЕРЯКОВ, Е. А. Алгоритмнахождения неравенств-следствий. ОМСКИЙ НАУЧНЫЙ ВЕСТНИК, [S. l.], n. 1(157), p. 87–91, 2018. DOI: 10.25206/1813-8225-2018-157-87-91. Disponível em: https://journals.omgtu.ru/index.php/onv/article/view/1162. Acesso em: 22 ноя. 2024.