Sergei A. Abramov's selected publications

On m-Interlacing Solutions of Linear Difference Equations (corrected version)

In: Computer Algebra in Scientific Computing, 11th International Workshop, CASC 2009, Kobe, Japan, September 2009, Proceedings, pp. 1-17

Об одной алгоритмически неразрешимой проблеме, связанной с дифференциальными и разностными уравнениями

XIII Международная конференция по дифференциальным уравнениям (Еругинские чтения-2009), 26--29 мая 2009 г., Пинск, Беларусь. Тезисы докладов, 118--118 (2009).

Лекции о сложности алгоритмов

М: МЦМНО (Современные лекционные курсы), 2009

D'Alembertian series solutions at ordinary points of LODE with polynomial coefficients.

Journal of Symbolic Computation. 44, 2009, pp. 48-59

Indicial rational functions of linear ordinary differential equations with polynomial coefficients. (corrected version)

Определяющие рациональные функции линейных обыкновенных дифференциальных уравнений с полиномиальными коэффициентами (исправленная версия)

Fundamental and Applied Mathematics, 2008, volume 14, number 4, p.15-34 (translation from Fundamentalnaya i Prikladnaya Matematika, volume 14, number 4, p.15-34)

Фундаментальная и прикладная математика, 2008, том 14, выпуск 4, с. 15-34

A.Ryabenko

А.Рябенко

On the Bottom Summation.

Об опорном суммировании

Programming and Computer Software, No 4, 2008, pp. 187-190 (translation from Programmirovanie, No 4, 2008, pp. 3-7, in Russian)

Программирование, No 4, 2008, С. 3-7

M.Petkovsek

Петковшек М

On a Computer Algebra Technology.

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

Programming and Computer Software, No 2, 2008, pp. 64-68 (translation from Programmirovanie, No 2, 2008, pp. 9-13, in Russian)

Программирование, No 2, 2008, С. 9-13.

A.Ryabenko

А.А.Рябенко

Subanalytic Solutions of Linear Difference Equations and Multidimensional Hypergeometric Sequences.

Proc. X Belarussian Mathematical Conference (3-7 November, 2008, Minsk, Part 3, pp. 41-42

Formal Series and Linear Difference Equations.

Proc. ISSAC'08, Hagenberg, pp. 1-2.

Dimensions of solution spaces of H-systems.

Journal of Symbolic Computation. 43, 2008, pp. 371-394

Построение определяющих рациональных функций линейных обыкновенных дифференциальных уравнений с полиномиальными коэффициентами. (Constructing Indicial Rational Functions for Linear Ordinary Differential Equations with Polynomial Coefficients).

Международная конференция "Дифференциальные уравнения и топология", посвященная 100-летию со дня рождения Л.С. Понтрягина. Тезисы докладов, 86--87 (2008)

The Research Seminar on Computer Algebra in 2006-2007. Programming and Computer Software,

Семинар по компьютерной алгебре в 2006-2007 гг

No 2, 2008, pp. 59-63 (translation from Programmirovanie, No 2, 2008, pp. 3-8, in Russian)

Программирование, No 2, 2008,С. 3-8

A.A.Bogolyubskaya, V. F. Edneral and V. A. Rostovtsev

Боголюбская А.А., Ростовцев В.А., Еднерал В.Ф

D'Alembertian Series Solutions of LODE with Polynomial Coefficients.

International conference "Differential Equations and Related Topics", dedicated to 106 anniversary of I.G.Petrovskii, Moscow, MSU, May, 21 - 26, 2007. Book of Abstracts. pp. 7-8.

Formulas for integrating Bessel functions J_{2k+1}(z), Y_{2k+1}(z) obtained with a computer algebra system

International conference "Differential Equations and Related Topics", dedicated to 106 anniversary of I.G.Petrovskii, Moscow, MSU, May, 21 - 26, 2007. Book of Abstracts.

Analytic Solutions of Linear Difference Equations Formal Series, and Bottom Summation.

In: Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings, pp. 1-10

Improved universal denominators.

Уточненные универсальные знаменатели

Programming and Computer Software, No 3, 2007, pp. 132-138 (translation from Programmirovanie, No 3, 2007, pp. 16-23, in Russian)

Программирование, No 3, 2007, с. 16-23

S.P.Polyakov

С.П.Поляков

The Research Seminar on Computer Algebra in 2005-2006.

Programming and Computer Software, No 2, 2007, pp. 55-59 (translation from Programmirovanie, No 2, 2007, pp. 3-8, in Russian)

Hypergeometric Summation Revisited.

In: Computer Algebra 2006: Latest Advances in Symbolic Algorithms. World Scientific, 2007, pp. 1-11

On the Summation of P-Recursive Sequences.

ISSAC'06 (Annual International Symposium on Symbolic and Algebraic Computation). Genoa, Italy; 9-11 July 2006; Proceedings ISSAC'06, pp. 17-22

Apparent Singularities of Linear Difference Equations with Polynomial Coefficients.

AAECC (Applicable Algebra in Engineering, Communication and Computing), 2006, v.17, N 2, 117--133.

Barkatou M., van Hoeij M.

Solution Spaces of H-Systems and the Ore-Sato Theorem.

Пространство решений H-систем и теорема Оре-Сато.

Programming and Computer Software, 2006, Vol. 32, No. 2, pp. 118-119. (Original Russian Text published in Programmirovanie, 2006, No. 2, 75-77).

Программирование, N 2, 2006, 75--77.

M.Petkovsek

Петковшек М.

In memory of Manuel Bronstein.

Памяти Мануэля Бронштейна

Programming and Computer Software, 2006, Vol. 32, No. 1, pp. 56-58. (Original Russian Text published in Programmirovanie, 2006, Vol. 32, No. 1.)

Программирование, 2006, N 1.

Solving Linear Systems of Differential and Difference Equations with Respect to a Part of the Unknowns

Решение линейных дифференциальных и разностных систем по отношению к части неизвестных

Computational Mathematics and Mathematical Physics, 2006, Vol. 46, No. 2, pp. 218-230. c MAIK "Nauka / Interperiodica" (Russia), 2006. (Original Russian Text published in Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki, 2006, Vol. 46, No. 2, pp. 229-241.)

Журнал вычислительной математики и вычислительной физики, N 2, 2006, стр. 229-241

M.Bronstein

М.Бронштейн

Семинар по компьютерной алгебре в 2004-2005 гг.

Программирование, 2006, N 2, 3-7.

А.А.Боголюбская, В.А.Ростовцев, В.Ф.Еднерал

Solution spaces of H-systems and the Ore-Sato Theorem

FPSAC'05 (Annual International Conference on Formal Power Series and Algebraic Combinatorics). Taormina, Sicily, Italy; 20--25 June 2005

M.Petkovsek

Gosper's Algorithm, Accurate Summation, and the discrete Newton-Leibniz formula

ISSAC'05 (Annual International Symposium on Symbolic and Algebraic Computation). Beijing, China; 24--27 July 2005; Proceedings ISSAC'05, pp. 5-12

M.Petkovsek

On regular and logarithmic solutions of ordinary linear differential systems

CASC'05 (Annual International Workshop in Computer Algebra in Scientific Computing). Kalamata, Greece, 12--16 September 2005; Computer Algebra in Scientific Computing, Lecture Notes in Computer Science 3718, Springer Verlag 2005, pp.1-12

M.Bronstein and D.E.Khmelnov

Семинар по компьютерной алгебре в 2003-2004 гг.

Программирование, 2005, N 2, стр. 3-9

А.А.Боголюбская, В.А.Ростовцев, В.Ф.Еднерал

On the order of the recurrence produced by the method of creative

Discrete Mathematics , 298, 2005, P. 2-17

H.Q.Le

Univariate Ore Polynomial Rings in Computer Algebra

Journal of Mathematical Sciences: Volume 131, Number 5, December 2005 Pages: 5885 - 5903

H.Q.Le and Z.Li

Кольца полиномов Оре одной переменной в компьютерной алгебре

Современная математика и приложения, 2004, т.13, с.24-39

Х.К.Ле и З.Ли

Семинар по компьютерной алгебре в 2002-2003 г.г.

Программирование, No 2, 2004, С. 3--7.

В.Ф.Еднерал, В.А. Ростовцев.

Разреженные степенные ряды и параметризованные линейные операторы.

Программирование, No 2, 2004, С. 36--41.

А.А. Рябенко.

Partial closed-form solutions of linear functional systems.

Международная конференция "Дифференциальные уравнения и смежные вопросы", посвященная 103-летию со дня рождения И.Г.Петровского, Москва, МГУ, 16-22 мая 2004 г. Сборник тезисов. С. 6-7.

M.Bronstein.

A note on computing the regular solutions of linear differential systems.

Proceedings of Ninth Rhine Workshop on Computer Algebra (RWCA'04) March 25-26, 2004 University of Nijmegen Nijmegen the Netherlands, 2004, 13--27

S.A. Abramov, D.E.Khmelnov

Utilizing relationships among linear systems generated by Zeilberger's algorithm.

16th Annual International Conference on Formal Power Series and Algebraic Combinatorics June 28 - July 2, 2004 University of British Columbia (Vancouver B.C., Canada) http://fpsac.labri.fr/FPSAC04/fpsac04.html

H.Q. Le

Telescoping in the context of symbolic summation in Maple.

Journal of Symbolic Computation, V. 38, No 4, 1303-1326.

J.J.Carette, K.O.Geddes, H.Q. Le

Regularization of linear recurrence systems

Transactions of French-Russian A.M.Liapunov Institute, 2003, p. 158-171

M.Bronstein and D.E.Khmelnov

When does Zeilberger's Algorithm Succeed?

Advances in Applied Mathematics, vol. 30 (2003), 424-441

Continuation of holomorphic solutions of linear difference equations with polynomial coefficients

Proceedings of Kolmogorov and Contemporary Mathematics conference, 2003, p. 126-127

M.Barkatou

Rational canonical forms and efficient representations of hypergeometric terms

Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation, ACM Press, P. 7-14

H.Q.Le and M.Petkovsek

OreTools: a computer algebra library for univariate Ore polynomial rings

Technical Report CS-2003-12, School of Computer Science, University of Waterloo, Ontario, Canada

H.Q. Le and Ziming Li

Семинар по компьютерной алгебре в 2001-2002 гг.

Программирование, N 2, 2003, с. 3-7

Крюков А.П., Ростовцев В.А.

Set of Poles of Solutions of Linear Difference Equations with Polynomial Coefficients

Comput. Math. and Math. Phys. (Zhurnal Vychislitel'noy Matematiki i Matematicheskoi Fiziki), vol. 43, N 1, 2003, pp.57-62 (60-65)

M. van Hoeij

Linear algebra for skew-polynomial matrices

INRIA. Rapport de recherche. No 4420, March 2002.

M.Bronstein

Applicability of Zeilberger's Algorithm to Hypergeometric Terms

In: T.Mora, Ed., International Symposium on Symbolic and Algebraic Computation, ACM, 1-7, 2002. Conference location: The University of Lille, Lille, France. Conference date: July 7 - 10, 2002

Computer Algebra Library for the Construction of the Minimal Telescopers

International Congress of Mathematical Software, World Scientific, 2002

K.O.Geddes, H.Le

Sharpening bounds for the Finite Singularity Set of Solutions of Difference equations

In: H. Kredel, W. K. Seiler, Eds., The 8-th Rheine Workshop on Computer Algebra Univ. of Mannheim, 255-264, 2002 Conference location: The University of Mannheim, Mannheim, Germany. Conference date : March 21 - 22, 2002

M. van Hoeij

Linear algebra for skew-polynomial matrices

INRIA. Rapport de recherche No 4420, March 2002

M.Bronstein

Symbolic Summation in Maple

Technical Report CS-2002-32, School of Computer Science, University of Waterloo, Ontario, Canada, 2002

J.J.Carette, K.O.Geddes, H.Le

A criterion for the applicability of Zeilberger's algorithm to rational functions

Discrete Mathematics, v. 259, 2002

H.Le

On the structure of multivariate hypergeometric term

Advances in Applied Mathematics, v. 29, 2002, 386-411

M.Petkovsek

Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms

J. Symb. Comput., 33, 2002

M.Petkovsek

A direct algorithm to compute rational solutions of first order linear q-difference systems

Discrete Mathematics, v. 246, 2002

Семинар по компьютерной алгебре в 2000-2001 гг.

Программирование, N 2, 2002

Крюков А.П., Ростовцев В.А.

Proof of a conjecture of Wilf and Zeilberger

Univ. of Ljubljana, Preprint series, Vol. 39, 748, 2001

M.Petkovsek

On Solutions of Linear Functional Systems and Errata

Proc. ISSAC, 2001

M.Bronstein

Optimal Decomposition of Indefinite Hypergeometric Sums

Proc. ISSAC, 2001

M.Petkovsek

Canonical Representation of Hypergeometric Terms

Proc. FPSAC, 2001

M.Petkovsek

A Note on the Number of Division Steps in the Euclidean Algorithm

SIGSAM Bulletin, v. 34, N 4, 2001

A scheme of eliminations in linear recurrent systems and its applications

Transactions of French-Russian Lyapunov Institute, vol. 3, 2001

P.E.Glotov, D.E.Khmelnov

Семинар по компьютерной алгебре в 1999-2000 гг.

Программирование, N 1, 2001, с. 3-7

Крюков А.П., Ростовцев В.А.

Hypergeometric dispersion and the orbit problem

Proc. of ISSAC, 2000

M.Bronstein

A note on Zeilberger's algorithm and proper terms

Proc. 7-th Rhine Workshop on Computer Algebra, 2000

Applicability of Zeilberger's Algorithm to Rational Functions

Proc. of FPSAC, 2000

H.Le

Eventually Rational Points and Eventually m-Points of Linear Ordinary Differential Operators

Discret.Math., v. 225, 2000

m-Sparse Solutions of Linear Ordinary Differential Equations with Polynomial Coefficients

Discret.Math., v. 217, 2000

Special formal series solutions of linear operator equations

Discret.Math., v. 210, 2000

M.Petkovsek, A.Ryabenko

Семинар по компьютерной алгебре в 98-99 гг.

Программирование, N 1, 2000

Крюков А.П., Ростовцев В.А.

Integration of Solutions of Linear Functional Equations

Integral transforms and Special Functions, v. 8, No 1-2, 1999

M. van Hoeij

EG-eliminations

J. of Difference Equations and Applications, v. 5, 1999

Rational solutions of First Order Linear q-Difference Systems

Proc. of FPSAC, 1999

Desingularization of Linear Difference Operators with Polynomial Coefficients

Proc. of ISSAC, 1999

M. van Hoeij

Семинар по компьютерной алгебре в 97-98 гг.

Программирование, N 6, 1998

В.А.Ростовцев

Rational Solutions of First Order Linear Difference Systems

Proc. of ISSAC, 1998

M.A.Barkatou

Power Series Solutions with "Eventually Nice" Coefficients of Linear Ordinary Differential Equations

Proc. of FPSAC, 1998

q-Hypergeometric solutions of q-difference equations

Discret. Math., v.180, 1998

M.Petkovsek, P.Paule

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

Программирование, N 1, 1998

Зима Е.В.

Minimal Completely Factorable Annihilators

Proc. of ISSAC'97

E.V.Zima

A method for the Integration of Solutions of Ore Equations

Proc. of ISSAC'97

M. van Hoeij

Solutions of linear differential equations in the class of sparse power series

FPSAC'97, 1997

Семинар по компьютерной алгебре на факультете вычислительной математики и кибернетики МГУ в 95-96 гг.

Программирование, N 1, 1997

Зима Е.В.

О периферийной факторизации линейных обыкновенных операторов

Программирование, N 1, 1997

С.П.Царев

Solving linear diffrential equations in some power series classes (тезисы)

Book of abstracts of CMCP'96, 1996

M.Petkovsek

A Universal Program to Uncouple Linear Systems

Proc. of CMCP (Dubna, Russia, 1996)

E.V.Zima

Special power series solutions of linear differential equations

Proc.FPSAC'96, 1996

M.Petkovsek

D'Alembertian Solutions of Inhomogeneous Linear Equations (differential, difference, and some other)

Proc.ISSAC'96, 1996

E.V.Zima

Рациональные решения линейных разностных и q-разностных уравнений с полиномиальными коэффициентами

Программирование, N 6, 1995

Пакет символьного решения ЛОДУ с полиномиальными коэффициентами

препринт ВЦ РАН, 1995

Е.В.Зима

Кольца полиномов Оре и редукция линейных систем

Вестник МГУ, Серия 15, N 3, 1995

Е.В.Зима

Символьные алгоритмы поиска частных даламберовых решений линейных уравнений

Программирование, N 1, 1995

Indefinite sums of rational functions

Proc.ISSAC'95, 1995

On polynomial solutions of linear operator equations

Proc.ISSAC'95, 1995

M.Petkovsek, M.Bronstein

Rational solutions of linear difference and q-difference equations with polynomial coefficients

Proc.ISSAC'95, 1995

Finding all q-hypergeometric solutions of q-difference equations

Proc.FPSAC'95, 1995

M.Petkovsek

D'Alembertian Solutions of Linear Differential and Difference Equations

Proc.ISSAC'94, 1994

M.Petkovsek

Подстановка Даламбера и сопряженные уравнения (компьютерно-алгебраический аспект)

ЖВМ и МФ, N 7, 1994

Знаменатели рациональных решений линейных разностных уравнений

Программирование, N 1, 1994

On d'Alembert substitution

Proc.ISSAC'93, 1993

On the greatest common divisor of polynomials which depend on a parameter

Proc.ISSAC'93, 1993

K.Yu.Kvashenko

Наибольший общий делитель полиномов, зависящих от параметра

Вестник МГУ, сер15, N 2, 1993

К.Ю.Квашенко

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

Программирование, 1993, N 1

Зима Е.В.

Неполная факторизация и н.о.д.-техника

Программирование, N 5, 1992

К.Ю.Квашенко

Компьютерная алгебра

Программирование, N 5, 1992

Е.В.Зима, В.А.Ростовцев

Fast algorithms to search for the rational solutions of linear differential equations with polynomial coefficients

Proc. ISSAC'91, 1991

K.Yu.Kvashenko

Об одной задаче компьютерной алгебры, связанной с решением линейных дифференциальных и разностных уравнений

Кибернетика, N 2, 1991

Алгоритм поиска квазирациональных решений дифференциальных и разностных уравнений с полиномиальными коэффициентами

Вестнитк МГУ, Серия 15, N 1, 1991

Алгоритмы компьютерной алгебры, связанные с дифференциальными уравнениями (препринт)

ВЦ АН СССР, 1991

К.Ю.Квашенко

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

сб. IV Международное совещание по аналитическим вычислениям на ЭВМ в физических исследованиях, Дубна, 1990

Начала информатики (книга)

Наука, 1989

Е.В.Зима

Some algorithms of rational function algebra

Lecture Notes in Computer Science, N 378, 1989

Рациональные решения линейных дифференциальных и разностных уравнений с полиномиальными коэффициентами

ЖВМ и МФ, N 11, 1989

Задачи компьютерной алгебры, связанные с поиском полиномиальных решений линейных дифференциальных и разностных уравнений

Вестник МГУ, Cерия 15, N 3, 1989

Разностные уравнения в поле рациональных функций

сб. Аналитические и численные методы, решения задач математической физики, ВЦ АН СССР, 1989

Обобщение бинарного алгоритма

В сб. Вопросы математической логики и теории алгоритмов, ВЦ АН СССР, 1989

С.И.Рыбин

Задачи по программированию (книга)

Наука, 1988

Г.Г.Гнездилова, Е.Н. Капустина, М.И.Селюн

Один фрагмент арифметики Пресбургера и дедуктивная неполнота системы Хоора (тезисы)

Тезисы международной конференции по компьютерной логике КОЛОГ-88, Таллин, 1988

Алгоритм управления вопросником в автоматизированной обучающей системе

Вестник МГУ, Сер.15, N 2, 1988

Г.Г.Гнездилова

Компьютерная графика для школьников (препринт)

ВЦ АН СССР, 1988

Г.Г.Гнездилова

Начала программирования на языке Паскаль (книга)

Наука, 1987

Е.В.Зима

Сложностные вопросы решения показательного уравнения и проблема орбит для матриц второго порядка

Вестн. МГУ, Сер.15, N 4, 1987

Графика и звук на школьной ПЭВМ "ЯМАХА" (препринт)

ВЦ АН СССР, 1987

Г.Г.Гнездилова, Е.Н.Капустина, М.И.Селюн

Задачи по программированию для школьников (препринт)

ВЦ АН СССР, 1987

Г.Г.Гнездилова, Е.Н.Капустина, М.И.Селюн

Элементы анализа программ. Частичные функции на множестве состояний (монография)

Наука, 1986

Исследование программ с незавершающимся выполнением (тезисы)

В сб. "Проблемы совершенствования синтеза, тестирования и отладки программ", Рига, 1986

Семантики Хооровского типа (тезисы)

В сб. "Логика и системные методы анализа научных знаний", 1986

Разделение переменных в рациональных функциях

ЖВМ и МФ, N 9, 1985

Программы и индуцируемые ими преобразования функций (тезисы)

В сб."Всесоюзная конференция по прикладной логике", Новосибирск, 1985

Самый знаменитый алгоритм

Квант, N 11, 1985

Паскаль для школьника. Нестандартные типы. Процедуры (препринт)

ВЦ АН СССР, 1985

Паскаль для школьника. Простейшие программы (препринт)

ВЦ АН СССР, 1985

On the Birch-Swinnerton-Dyer Conjecture mod p

Journal of Number Theory, N 3, 1984

M.Yu.Rosenblum

Алгоритмы алгебры рациональных функций (тезисы)

В сб. "Теория и практика автоматизированных систем символьных преобразований", Вильнюс, 1984

Не связанные с изменением состояний последствия выполнения программ

ЖВМ и МФ, N 7, 1984

Вычисление предусловий программ

ЖВМ и МФ, N 4, 1984

Характер неполноты системы Хоора

Доклады АН СССР, т.274, N 4, 1984

Характер неполноты системы Хоора над языками первого порядка (тезисы)

В сб. "Применение методов математической логики", Таллин, 1983

Анализ программ и бинарные отношения

ЖВМ и МФ, N 2, 1983

Элементы программирования (книга)

Наука, 1982

Основы программирования на алголе (книга)

Наука, 1982

И.Н.Антипов

Исследование алгоритмов одновременного нахождения наибольшего и наименьшего элементов массива

ЖВМ и МФ, N 2, 1982

Соотношения в множествах семантических отображений и бинарных отношений

ЖВМ и МФ, N 1, 1982

Некоторые вопросы доказательства правильности программ (тезисы)

В сб. " Синтез, тестирование, верификация и отладка программ", Рига, 1981

Замечание к методу промежуточных утверждений

Доклады АН СССР, т.259, N 3, 1981

Модели множеств последовательностей и доказательство правильности программ

ЖВМ и МФ, N 5, 1980

Приближенное вычисление первого члена тейлоровского разложения в единице канонической L-функции кривых Вейля

Математические заметки, N 6, 1979

М.Ю.Розенблюм

Некоторые оценки, связанные с алгоритмом Евклида

ЖВМ и МФ, N 2, 1979

Некоторые вопросы трансляции в ЛИСП

Обработка символьной информации, N 4, 1978

Элементарный анализ алгоритма Евклида

Математика в школе, 1978

Математические построения и программирование

Наука, 1978

Программировавание на упрощенном алголе (книга)

Наука, 1978

И.Н.Антипов

Задача построения математического объекта и программирование

Новые исследования в пед. Науках, N 3, 1977

И.Н.Антипов

Семинар по компьютерной алгебре в 1999-2000 гг.

Программирование, N 2, 2001

А.П.Крюков, В.А Ростовцев.

Конечноразностные уравнения второго порядка с постоянными коэффициентами в поле рациональных функций

ЖВМ и МФ, N 4, 1977

Программа вычисления определителей и рангов полиномиальных матриц

Обработка символьной информации, N 3, 1976

Алгоритмический язык АЛГОЛ-60 (книга)

Просвещение, 1975

И.Н.Антипов

Рациональная компонента решения линейного рекуррентного соотношения первого порядка с рациональной правой частью

ЖВМ и МФ, N 4, 1975

Об одном классе целочисленных переменных

Обработка символьной информации, N 2, 1975

Решение линейных конечноразностных уравнений с постоянными коэффи циентами в поле рациональных функций

ЖВМ и МФ, N 4, 1974

Система АПРЕФ

Обработка символьной информации (ВЦ АН СССР), N 1, 1973

PR - система для выполнения действий над рациональными выражениями

Алгоритмы и алгоритмические языки, N 6, 1973

О некоторых алгоритмах алгебраических преобразований функциональных выражений

Вычисл. математика (ФТИНТ, Харьков), 1972, в.3

О суммировании рациональных функций

ЖВМ и МФ, N 4, 1971

Оперирование над некоторыми выражениями

ЖВМ и МФ, N 1, 1971

PR и RS - системы для проведения некоторых формульных выкладок (тезисы)

Тезисы докл. симпозииума по обработке символьной информации, Тбилиси, 1970