Завершен
2019 / 2020

88 Многоугольники Ньютона для построения формальных асимптотических разложений решений дифференциальных уравнений
Старт
01.09.2019
Паспорт проекта
Аннотация
В проекте формализуются с точки зрения функционального анализа методы построения асимптотических разложений решений дифференциальных уравнений с помощью многоугольников Ньютона. Эти методы применяются для конкретных уравнений.
Отрасль
Информатика
Теги
Информатика
Цель
Формализация методов степенной геометрии, применение их к уравнениям
Ожидаемые результаты
- Планируется изучить методы степенной геометрии для дифференциальных уравнений, формализовать часть теории на языке функционального анализа.
Форма и способы промежуточного контроля
Устное собеседование.
Форма представления результатов
Загрузка результатов в trello, личная ьесела с пуководителем проекта, очная демонстрация полученных утверждений, информирование о результатах по почте.
Ресурсное обеспечение
Книги и статьи А.Д. Брюно, B. Malgrange.
Имеющийся задел
Заполнено автоматически
Заказчик
МИЭМ / ДПМ