Интервальный анализ

и его приложения

23:32    Пятница    21 Июль 2017

Интервальный анализ и доказательные
вычисления в Интернете


Основным англоязычным веб-сайтом по интервальному анализу и доказательным вычислениям является сегодня сайт «Interval Computations», основанный и поддерживаемый проф. В.Крейновичем в Университете Техаса в Эль-Пасо. Он содержит массу полезной (и не очень) информации по самым разным аспектам интервального анализа, его приложений, доказательным вычислениям с применением интервальных подходов, анонсы конференций, просто отклики и т.п.

В социальной сети LinkedIn, созданной для специалистов по разнообразным аспектам современных компьютерных технологий, французскими исследователями создана группа «Interval Arithmetic Enthusiasts», объединяющая всех, кто интересуется интервальной арифметикой, её реализациями на ЭВМ и смежными вопросами.

Интересное обсуждение языкового аспекта интервальных вычислений и техники автоматического дифференцирования можно найти на форуме австралийского сайта http://lambda-the-ultimate.org/node/1301.

Очень содержательным веб-сайтом, посвящённым приложениям интервального анализа (главным образом, в прикладных вопросах управления различными системами), является «Modal Intervals in Control Engineering», созданный исследовательской группой MICELab в Университете Жироны (Испания), где работает многочисленная и плодовитая группа математиков и прикладников.

Темой сайта «Intervals and Probability Distributions», поддерживаемого Даниелем Берлеантом в Университете Арканзаса в Литтл-Рок (США), являются разнообразные связи интервального анализа и теории вероятностей, а также собственно интервально-вероятностные модели.

Наконец, огромное количество разнообразных материалов по интервальному анализу и его приложениям находится на персональных веб-страницах исследователей, активно работающих в этой области. Как правило, на них всегда можно найти электронные версии статей, принадлежащих тому или иному автору и опубликованных в труднодоступных для отечественного читателя источниках, интервальное программное обеспечение и т.п. Таковыми являются, к примеру, персональные страницы Р.Б. Кирфотта, Вл. Крейновича, Г. Алефельда, Ю. Гарлоффа, А.В. Лакеева, С.П. Шарого, А. Ноймайера, Н. Недялкова и некоторые другие (см. раздел «Персоналии»).