Аннотация:
В работе сформулированы некоторые задачи теории приближений,
имеющие важное значение в численном анализе.
Рост быстродействия и памяти современных ЭВМ ставит
целый ряд проблем по обработке и ужатию файлов, получаемых
в процессе решения конкретных задач. Особенно
эти вопросы стоят остро при решении задач на проблемно-ориентируемых ЭВМ, предназначенных для решения задач
аэродинамики, физики плазмы и т.п. Поэтому изучение
общих вопросов дискретизации функциональных компактов
имеет важное прикладное значение.
Методом доказательных вычислений в последнее время
решено несколько интересных конкретных задач анализа.
Этот метод успешно применяется в тех случаях, когда аналитические
методы оказываются мало эффективными. Метод
доказательных вычислений в анализе основывается, как правило,
на алгоритмах без насыщения. В связи с построением
таких алгоритмов возникают некоторые задачи теории приближений
и, в частности, для классов бесконечно дифференцируемых
функций. В работе приводится формулировка ряда
таких задач.
Библ. 30 назв.