вычисления в Интернете
Основным англоязычным веб-сайтом по интервальному анализу и доказательным вычислениям является сегодня сайт «Interval Computations», основанный и поддерживаемый проф. В.Крейновичем в Университете Техаса в Эль-Пасо. Он содержит массу полезной (и не очень) информации по самым разным аспектам интервального анализа, его приложений, доказательным вычислениям с применением интервальных подходов, анонсы конференций, просто отклики и т.п.
Интересное обсуждение языкового аспекта интервальных вычислений и техники автоматического дифференцирования можно найти на форуме австралийского сайта http://lambda-the-ultimate.org/node/1301.
Наконец, огромное количество разнообразных материалов по интервальному анализу и его приложениям находится на персональных веб-страницах исследователей, активно работающих в этой области. Как правило, на них всегда можно найти электронные версии статей, принадлежащих тому или иному автору и опубликованных в труднодоступных для отечественного читателя источниках, интервальное программное обеспечение и т.п. Таковыми являются, к примеру, персональные страницы Р.Б. Кирфотта, Вл. Крейновича, Г. Алефельда, Ю. Гарлоффа, А.В. Лакеева, С.П. Шарого, Л. Жолена, А. Ноймайера, Н. Недялкова и некоторые другие (см. раздел «Персоналии»).