О сравнении теорем Апостолатоса–Кулиша и Майера–Варнке в интервальном анализе

Работа посвящена сравнению теорем Апостолатоса–Кулиша и Майера–Варнке, лежащих в основе так называемого формального алгебраического подхода к внешнему оцениванию множеств решений интервальных линейных систем уравнений. Показано, что, несмотря на несколько большую общность теоремы Майера–Варнке, она расширяет сферу применимости формального подхода весьма несущественно, и практическое значение этого расширения невелико.