Статьи автора

О ВЫЧИСЛЕНИИ АБЕЛЕВЫХ ДИФФЕРЕНЦИАЛОВ

Номер выпуска 1 от 17.09.2025

Рассматриваются вопросы построения главной функции и абелевых дифференциалов 3-го типа на плоской алгебраической кривой над полем комплексных чисел, не имеющей особых точек. Алгоритм построения дифференциалов 3-го типа описан в Лекциях Вейерштрасса. В статье обсуждается его реализация в системе компьютерной алгебры Sage. Специфика этого алгоритма, равно как и самого понятия дифференциала 3-го типа, подразумевает использование не только рациональных чисел, но и алгебраических, причем даже тогда, когда уравнение кривой имеет целые коэффициенты. В Sage имеется встроенный инструментарий для работы с полем алгебраических чисел, который позволяет реализовать алгоритм Вейерштрасса почти дословно. На самом простом примере эллиптической кривой показано, что он требует слишком много ресурсов, выходя далеко за возможности офисного компьютера. Затем предложена и реализована симметризация метода, позволяющая существенно сэкономить ресурсы и решить названный пример.

14 0

О РЕАЛИЗАЦИИ ЧИСЛЕННЫХ МЕТОДОВ РЕШЕНИЯ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ В СИСТЕМАХ КОМПЬЮТЕРНОЙ АЛГЕБРЫ

Номер выпуска 5 от 17.09.2025

В статье представлен оригинальный пакет для исследования численных решений обыкновенных дифференциальных уравнений, встраиваемый в систему компьютерной алгебры Sage. Этот проект направлен на более тесную интеграцию численных и символьных методов и прежде всего преследует цель создания удобного инструмента для работы с численными решениями в Sage. В этом пакете определено два новых класса – начальные задачи и приближенные решения. Внутри первого класса определены инструменты для символьных вычислений, связанных с начальными задачами, внутри второго – инструменты для интерполяции значений символьных выражений на приближенном решении и оценивания ошибки по методу Ричардсона. Затем кратко описана реализация метода Рунге–Кутты, главная особенность которой – возможность работы с произвольными таблицы Бутчера и произвольными числовыми полями.

11 0