7–11 Oct 2024
Asia/Novosibirsk timezone

Методы точных вычислений для решения задач математической физики

Speaker

Светлана Викторовна Селиванова (ИСИ СО РАН, СПбГУ)

Description

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

Доклад посвящен нашим недавним совместным c Holger Thies и с Florian Steinberg, Holger Thies, Martin Ziegler работам, в которых метод точных вычислений применен к конкретным задачам математической физики, описываемым как обыкновенными дифференциальными уравнениями, так и уравнениями в частных производных. Вычисления производятся с произвольной гарантированной точностью в программном пакете iRRAM, основанном на методе точных вычислений. Проведено также теоретическое исследование алгоритмической сложности подхода в каждой из рассматриваемых задач.

Исследование выполнено при поддержке Российского научного фонда, номер проекта 19-71-30002.

Секция конференции Теоретическое, экспериментальное и системное программирование

Primary author

Presentation materials

There are no materials yet.