23-29
сентября
15-й Международный симпозиум GAMM - IMACS
по научным вычислениям, компьютерным
арифметикам и доказательным численным методам
Вид с высоты птичьего полета на проспект Лаврентьева, здание Вычислительного центра и Институт вычислительных технологий, Новосибирск

Тематика

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

Тематика симпозиума включает следующие направления (но не исчерпывается ими):

   –  теория, алгоритмы и арифметики для доказательных вычислений,
   –  программная и аппаратная поддержка интервальных и доказательных вычислений,
   –  символьные и алгебраические методы в доказательных вычислениях,
   –  доказательные подходы в оптимизации, исследовании операций и моделировании,
   –  доказательное численное решение дифференциальных уравнений,
   –  интервальный анализ и его приложения, интервальные и двусторонние методы,
   –  надёжность и доказательность супервычислений,
   –  приложения интервальных и доказательных  вычислений.

Print page

© 1996-2019, Институт вычислительных технологий СО РАН, Новосибирск