Российская академия наук
ПРОГРАММИРОВАНИЕ
№ 2 2016 Март – Апрель
Основан в 1975 г.
Выходит 6 раз в год
ISSN 0132-3474
Журнал издается под руководством
Отделения математических наук РАН
Главный редактор
В.П. Иванников
Редакционная коллегия:
С.А. Абрамов, А.И. Аветисян, И.Б. Вирбицкайте,
К.В. Воронцов, В.А. Галактионов, Ф.Я. Дзержинский,
С.В. Клименко, Л.Е. Карпов (ответственный секретарь),
М.Р. Когаловский, Л.Н. Королев, А.С. Косачев,
И.В. Машечкин, Б.А. Новиков,
А.К. Петренко (зам. главного редактора),
А.Н. Прокопеня, В.А. Серебряков
Зав. редакцией Т.А. Оловянникова
Адреса редакции:
119991 Москва, ГСП-1, Ленинские горы, д. 1, стр. 52
МГУ, факультет вычислительной математики и кибернетики
109004 Москва, ул. А. Солженицына, д. 25
Институт системного программирования РАН
Е-mail: progr@ispras.ru
Москва
Издательство “Наука”
____________________________________
© Российская академия наук, 2016
© Редколлегия журнала “Программирование”
(составитель), 2016
Стр.1
СОДЕРЖАНИЕ
Номер 2, 2016
К ДЕВЯНОСТОЛЕТИЮ НИКОЛАЯ ПАВЛОВИЧА ТРИФОНОВА
3
__________________________________________________________________________________
КОМПЬЮТЕРНАЯ АЛГЕБРА
Семинар по компьютерной алгебре в 2014–2015 гг.
С.А. Абрамов, А.А. Боголюбская, В.А. Ростовцев
Параметризация дискриминантного множества многочлена
А.Б. Батхин
Применение двух типов систем компьютерной алгебры для решения задач
максвелловской оптики
Д.С. Кулябов
Алгоритм построения форм объема на торических многообразиях
по выпуклому целочисленному многограннику
А.А. Кытманов, А.В. Щуплев, Т.В. Зыкова
О разбиениях множества выделенных неизвестных в линейных
дифференциально-алгебраических системах
А.А. Панферов
О проверке существования бесконечно дифференцируемых решений
уравнений в частных производных с граничными условиями
С.В. Парамонов
Аппроксимация квантового алгоритма нахождения показателя целого числа
А.Н. Прокопеня
Алгоритм построения орбит преобразований Дарбу типа I
для гиперболических операторов третьего порядка от двух переменных
Е.С. Шемякова
Процедуры поиска локальных решений линейных дифференциальных
систем с бесконечными степенными рядами в роли коэффициентов
С.А. Абрамов, А.А. Рябенко, Д.Е. Хмельнов
75
__________________________________________________________________________________
66
49
55
41
32
22
4
8
Стр.2
Contents
№ 2, 2016
TO NINETIETH BIRTHDAY OF NIKOLAI PAVLOVICH TRIFONOVA
3
_________________________________________________________________________________
COMPUTER ALGEBRA
Seminar on computer algebra in 2014‒2015
S. A. Abramov, A. A. Bogolyubskaya, V. A. Rostovtsev
Parameterization of the Discriminant Set of a Polynomial
A. B. Batkhin
Using Two Types of Computer Algebra Systems to Solve Maxwell Optics Problems
D. S. Kulyabov
Algorithm for Construction of Volume Forms on Toric Varieties Starting
from a Convex Integer Polytope
A. A. Kytmanov, A. V. Shchuplev, and T. V. Zykova
Partitions of the Set of Selected Unknowns in Linear Differential–Algebraic Systems
A. A. Panferov
On Checking Existence of Infinitely Differentiable Solutions
of Partial Differential Equations with Boundary Conditions
S. V. Paramonov
Approximation of a Quantum Algorithm for Order Finding
A. N. Prokopenya
An Algorithm for Constructing Darboux Transformations of Type I
for Third-Order Hyperbolic Operators of Two Variables
Е. S. Shemyakova
Procedures for Searching Local Solutions of Linear Differential Systems
with Infinite Power Series in the Role of Coefficients
S. A. Abramov, A. A. Ryabenko, and D. E. Khmelnov
Печать цифровая Усл.печ.л. 10,75
Тираж 119 экз.
Дата выхода в свет 25.04.2016
Усл.кр.-отт. 1,3 тыс.
Формат 60 x 88 ⅛
Уч.-изд.л. 10,75 Бум.л. 5,4
Зак. 63 Цена свободная
__________________________________________________________________________________________________
Учредитель: Российская академия наук
__________________________________________________________________________________________________________________________
Издатель: ФГУП «Академиздатцентр «Наука», 117997 Москва, Профсоюзная ул., 90
Отпечатано во ФГУП «Академиздатцентр «Наука» (Типография «Наука»)
121099 Москва, Шубинский пер., 6
75
_________________________________________________________________________________
Подписано к печати 24.03.2016
66
49
55
32
41
4
8
22
Стр.3