Логотип МИЭМ НИУ ВШЭ
Завершен
Логотип типа проекта Научно-исследовательская работа
Научно-исследовательская работа
2019 / 2020
Логотип проекта Многоугольники Ньютона для построения формальных асимптотических разложений решений дифференциальных уравнений

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

    Старт
    01.09.2019

    Паспорт проекта

    Аннотация

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

    Отрасль

    Информатика

    Теги

    Информатика

    Цель

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

    Ожидаемые результаты

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

      Форма и способы промежуточного контроля

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

      Форма представления результатов

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

      Ресурсное обеспечение

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

      Имеющийся задел

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

      Заказчик

      МИЭМ / ДПМ