Вданной работе предложен алгоритм вычисления параметризации Горна-Капранова A-дискриминантного множества и особых точек алгебраической гиперповерхности с использованием системы компьютерной алгебры Maple.
Разработана программа, вычисляющая срезку дискриминанта многочлена одной переменной на грани многогранника Ньютона дискриминанта данного многочлена, а также результат ее факторизации в произведение дискриминантов многочленов меньших степеней.
Представлен алгоритм вычисления решения задачи Коши для трехмерного разностного уравнения с постоянными коэффициентами в точке по коэффициентам разностного уравнения и начальным данным Коши, заданным в параллелепипеде. Наш алгоритм использует теоремы Апанович М.С. и Лейнартаса Е.К., характеризующие корректность задачи Коши, и методы компьютерной алгебры для достижения вычислительной эффективности. Алгоритм реализован в среде Matlab.
В данной работе предложен алгоритм получения тождества Чаунди–Булларда для функции векторного разбиения с весом с использованием методов компьютерной алгебры. Для автоматизации данного процесса в среде Maple был разработан и реализован алгоритм, вычисляющий значения функции векторного разбиения с весом путем нахождения неотрицательных решений систем линейных диофантовых уравнений, на основе которых происходит составление указанных тождеств. Входными данными алгоритма является набор целочисленных векторов, образующих заостренный решеточный конус, и некоторая точка из данного конуса, выходными данными – тождество Чаунди–Булларда для функции векторного разбиения с весом. Указанный код размещен в депозитории и готов к использованию. Приведен пример, демонстрирующий работу данного алгоритма.
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации