В проекте формализуются с точки зрения функционального анализа методы построения асимптотических разложений решений дифференциальных уравнений с помощью многоугольников Ньютона. Эти методы применяются для конкретных уравнений.

Формализация методов степенной геометрии, применение их к уравнениям

Устное собеседование.

Загрузка результатов в trello, личная ьесела с пуководителем проекта, очная демонстрация полученных утверждений, информирование о результатах по почте.

Книги и статьи А.Д. Брюно, B. Malgrange.

Заполнено автоматически