English

RAS MathematicsПрограммирование Programming and Computer Software

ISSN (Print) 0132-3474
ISSN (Online) 3034-5847

S. A. Abramov

Author ID: 85101

By this author

POLYNOMIAL RELATIONS FOR BOUNDS ON THE EXPONENTS IN SOLUTIONS TO OPERATOR EQUATIONS

Issue number 1 from 17.09.2025

Обсуждается некоторый общий подход к нахождению определяющих полиномов для дифференциальных, разностных и q-разностных операторов. Рассматривается структура такого полинома, соответствующего произведению операторов.

14 0

SEMINAR ON COMPUTER ALGEBRA IN 2023–2024

Issue number 2 from 17.09.2025

Годовой отчет о работе научно-исследовательского семинара по компьютерной алгебре.

17 0

FINITE DECIMAL FRACTIONS AS ENTRIES OF NONSINGULAR MATRICES

Issue number 2 from 17.09.2025

Как для заданной невырожденной числовой вещественной матрицы, в элементах которой после десятичной точки присутствует лишь конечное число цифр, проверить, останется ли эта матрица невырожденной после произвольного дописывания цифр к некоторым (явно заранее указанным) из ее элементов? Выясняется, что эта задача алгоритмически разрешима. Обсуждается компьютерная реализация предлагаемого алгоритмического решения.

13 0

SEMINAR ON COMPUTER ALGEBRA IN 2021–2022

Issue number 2 from 17.09.2025

Годовой отчет о работе научно-исследовательского семинара по компьютерной алгебре

17 0

Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients

Issue number 5 from 17.09.2025

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

17 0