ФОРМАЛИЗАЦИЯ ВЫЧИСЛЕНИЙ ПРИ ЧИСЛЕННОМ РЕШЕНИИ КРАЕВЫХ ЗАДАЧ // Ученые записки КФУ. Физико-математические науки 2008 N1

Abstract

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