Speaker
Description
Подход «точные вещественные вычисления» основан на теории вычислений на непрерывных структурах, которая в значительной степени опирается на классические теории вычислимости и сложности. В этом подходе используется тип данных «точные» вещественные числа; входные и выходные данные кодируются не как конечные строки, а как функции, дающие сколь угодно точные аппроксимации конечного размера с известными границами ошибок аппроксимации.
Доклад посвящен нашим недавним совместным c Holger Thies и с Florian Steinberg, Holger Thies, Martin Ziegler работам, в которых метод точных вычислений применен к конкретным задачам математической физики, описываемым как обыкновенными дифференциальными уравнениями, так и уравнениями в частных производных. Вычисления производятся с произвольной гарантированной точностью в программном пакете iRRAM, основанном на методе точных вычислений. Проведено также теоретическое исследование алгоритмической сложности подхода в каждой из рассматриваемых задач.
Исследование выполнено при поддержке Российского научного фонда, номер проекта 19-71-30002.
Секция конференции | Теоретическое, экспериментальное и системное программирование |
---|