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