Тематика
Симпозиумы SCAN традиционно собирают исследователей, занимающихся доказательными и интервальными научными вычислениями, и практиков, применяющих их в своей деятельности. Доказательные и интервальные научные вычисления уделяют особое внимание доказательности и гарантированности результатов, строгим оценкам погрешностей, двустороннему и интервальному оцениванию решений. Сфера интересов симпозиумов SCAN покрывает разнообразные аспекты таких вычислений, от теории до компьютерных реализаций и практических применений, а также математические, алгоритмические, программные и аппаратные средства для их поддержки.
Тематика симпозиума включает следующие направления (но не исчерпывается ими):
– теория, алгоритмы и арифметики для доказательных вычислений,
– программная и аппаратная поддержка интервальных и доказательных вычислений,
– символьные и алгебраические методы в доказательных вычислениях,
– доказательные подходы в оптимизации, исследовании операций и моделировании,
– доказательное численное решение дифференциальных уравнений,
– интервальный анализ и его приложения, интервальные и двусторонние методы,
– надёжность и доказательность супервычислений,
– приложения интервальных и доказательных вычислений.