Формализация вычислений при численном решении краевых задач

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