An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge's Condition
NN Osipov, AA Kytmanov - Programming and Computer Software, 2021 - Springer
This paper proposes an algorithmic implementation of the elementary version of Runge's
method for a family of fourth-degree Diophantine equations in two unknowns. Any …
method for a family of fourth-degree Diophantine equations in two unknowns. Any …
АЛГОРИТМ ДЛЯ РЕШЕНИЯ СЕМЕЙСТВА ДИОФАНТОВЫХ УРАВНЕНИЙ ЧЕТВЕРТОЙ СТЕПЕНИ, УДОВЛЕТВОРЯЮЩИХ УСЛОВИЮ РУНГЕ
НН Осипов, АА Кытманов - Программирование, 2021 - elibrary.ru
В статье предлагается алгоритмическая реализация элементарной версии метода
Рунге для семейства диофантовых уравнений 4-й степени с двумя неизвестными. К …
Рунге для семейства диофантовых уравнений 4-й степени с двумя неизвестными. К …
[引用][C] Символьные вычисления в математических доказательствах (computer assisted proofs)
НН Осипов - Математическое образование, 2020 - mathnet.ru
Как научная дисциплина компьютерная алгебра ориентируется на создание
алгоритмов, предназначенных для точного решения математических и прикладных …
алгоритмов, предназначенных для точного решения математических и прикладных …
[引用][C] СИМВОЛЬНЫЕ ВЫЧИСЛЕНИЯ В МАТЕМАТИЧЕСКИХ ДОКАЗАТЕЛЬСТВАХ
НН Осипов - ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В …, 2019 - elibrary.ru
В статье приводятся примеры применения систем компьютерной алгебры к
доказательству теорем в элементарной геометрии, алгебре и теории чисел.
доказательству теорем в элементарной геометрии, алгебре и теории чисел.