Sergei A. Abramov's selected publications

Title	Reference	Co-authors
Finite Decimal Fractions As Entries of Nonsingular Matrices Конечные десятичные дроби как элементы невырожденных матриц	Programming and Computer Software, 2025, vol. 51, No. 2, pp. 117–122. doi: 10.1134/S0361768824700920 Программирование, 2025, № 2, с. 83–90.	A.A.Ryabenko А.А.Рябенко
Семинар по компьютерной алгебре в 2023-2024 гг	Программирование, 2025, № 2, с. 3–5.	Боголюбская А.А., Рябенко А.А.
О строго невырожденных числовых матрицах	Труды XV приокской научной конференции «Дифференциальные уравнения и смежные вопросы математики», Коломна: ГСГУ, 2025, с. 19–24.	А.А.Рябенко
Polynomial Relations for Bounds on the Exponents in Solutions to Operator Equations Полиномиальные соотношения для границ показателей степеней в решениях операторных уравнений	Programming and Computer Software, 2025, vol. 51, No. 1, pp. 41–47. doi: 10.1134/S0361768824700609 Программирование, 2025, № 1, с. 51–58.	A.A.Ryabenko А.А.Рябенко
On the Multiplicative Property of Indicial Polynomials О мультипликативном свойстве определяющих полиномов	Computational Mathematics and Mathematical Physics, 2024, vol. 64, No. 9, pp. 2005–2010. doi: 10.1134/S0965542524700969 Журнал вычислительной математики и математической физики, 2024, том 64, № 9, с. 1661–1666.
Лекции о сложности алгоритмов (издание четвертое, исправленное и дополненное)	М: МЦМНО (Современные лекционные курсы), 2024
Семинар по компьютерной алгебре в 2022-2023 гг	Программирование, No 2, 2024, с. 3–6.	Боголюбская А.А.
On the dimension of the solution space of linear difference equations over the ring of infinite sequences	Journal of Symbolic Computation 127 (2025) 102350	G.Pogudin
Компьютерная алгебра операторных матриц	Москва : МАКС Пресс, 2024. https://doi.org/10.29003/m3796.978-5-317-07135-6	А.А.Рябенко, Д.Е.Хмельнов
Extendable Essay as a Web Resource for Supporting Lecture Courses Расширяемое эссе как веб-ресурс поддержки лекционных курсов	Journal of Mathematical Sciences, 10 September 2024. Фундаментальная и прикладная математика, 2023, том 24, выпуск 4, с. 3—9.	A.A.Ryabenko, D.E.Khmelnov А.А.Рябенко, Д.Е.Хмельнов
О пространстве решений линейных разностных уравнений в кольце вычислимых бесконечных последовательностей	Труды XIV приокской научной конференции «Дифференциальные уравнения и смежные вопросы математики», Коломна: ГСГУ, 2023, с. 9–15.	Г.А.Погудин
Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients Поиск лорановых решений систем линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов	Programming and Computer Software, 2023, vol. 49, No. 5, pp. 401–411. Программирование, 2023, No 5, с. 35–46.	A.A.Ryabenko, D.E.Khmelnov А.А.Рябенко, Д.Е.Хмельнов
The fifth conference “Computer Algebra” in Moscow	ACM Communications in Computer Algebra, 2023, vol. 57, Issue 2, pp. 72–84.	A.Batkhin, A.Ryabenko, L.Sevastianov, Y.Zonn, M.Wu
On incomplete rank matrices	Компьютерная алгебра: материалы 5-й международной конференции. Москва, 26–28 июня 2023 г./ отв. ред. С.А. Абрамов, А.Б. Батхин, Л.А. Севастьянов. – Москва: ИПМ им. М.В. Келдыша, 2023, с. 29–32.	M.Petkovsek, A.Ryabenko
Linear difference operators with sequence coefficients having infinite-dimentional solution spaces	ACM Communications in Computer Algebra, 2023, vol. 57, No. 1, issue 223, pp. 1–4.	G.Pogudin
On Ranks of Matrices over Noncommutative Domains Краткая версия на русском из ЖВМ	Computational Mathematics and Mathematical Physics, 2023, vol. 63, No. 5, pp. 771–778. Журнал вычислительной математики и математической физики, 2023, том 63, № 5, с. 760–762. (Полный текст статьи печатается в английской версии журнала)	M.Petkovsek, A.A.Ryabenko
Семинар по компьютерной алгебре в 2021-2022 гг	Программирование, No 2, 2023, с. 3–4.	Боголюбская А.А.
Counterexamples to the Assumption on the Possibility of Prolongation of Truncated Solutions of a Truncated LODE Контрпримеры к предположению о возможности продолжения усеченных решений усеченного линейного обыкновенного дифференциального уравнения	Computational Mathematics and Mathematical Physics, 2023, vol. 63, No. 1, pp. 69–76. Журнал вычислительной математики и математической физики, 2023, том 63, № 1, с. 85–92.	A.A.Ryabenko, D.E.Khmelnov А.А.Рябенко, Д.Е.Хмельнов
On truncated series involved in exponential-logarithmic solutions of truncated LODEs	In: Computer Algebra in Scientific Computing, CASC 2022, pp. 18–28.	D.Khmelnov, A.Ryabenko
On linear dependence of rows and columns in matrices over non-commutative domains	Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, ACM, pp. 39–43.	M.Petkovsek, A.Ryabenko
Exhaustive Use of Information on an Equation with Truncated Coefficients Исчерпывающее использование информации о дифференциальном уравнении с усеченными коэффициентами	Programming and Computer Software, 2022, vol. 48, No. 2, pp. 116–124. Программирование, No 2, 2022, с. 63–72.	А.А.Рябенко, Д.Е.Хмельнов
Семинар по компьютерной алгебре в 2020-2021 гг	Программирование, No 2, 2022, с. 3–6.	Боголюбская А.А.
Функции Ляпунова и сложность алгоритмов	Труды XIII приокской научной конференции «Дифференциальные уравнения и смежные вопросы математики», Коломна: ГСГУ, 2021, с. 14–27.	Е.А.Бордаченкова
Procedures for Constructing Truncated Solutions of Linear Differential Equations with Infinite and Truncated Power Series in the Role of Coefficients Процедуры поиска усеченных решений линейных дифференциальных уравнений с бесконечными и усеченными степенными рядами в роли коэффициентов	Programming and Computer Software, 2021, Vol. 47, No. 2, pp. 144–152 (translation from Programmirovanie, vol. 47, No. 2, 2021, pp. 56–65) Программирование, 2021, №2, с. 56–65.	A.A.Ryabenko, D.E.Khmelnov А.А.Рябенко, Д.Е.Хмельнов
Семинар по компьютерной алгебре в 2019-2020 гг	Программирование, No 2, 2021, с. 3–4.	Боголюбская А.А.
Linear difference operators with coeffcients in the form of infnite sequences Линейные разностные операторы с коэффициентами в виде бесконечных последовательностей	Computational Mathematics and Mathematical Physics, 2021, Vol. 61, No. 10, pp. 1582–1589 Журнал вычислительной математики и математической физики, 2021, том 61, № 10, с. 25–33.	M.A.Barkatou, M.Petkovsek М.А.Баркату, М.Петковшек
The Fourth Conference “Computer Algebra” in Moscow	ACM Communications in Computer Algebra, Vol. 55, No. 2, Issue 216, June 2021, pp. 30–38.	A.A.Ryabenko, L.A.Sevastianov, Y.Zonn, M.Wu
On infinite sequences and difference operators	Материалы 4-й международной конференции “Компьютерная алгебра”, М: OOO МАКС Пресс, 19–22 (2021)	M.A.Barkatou, M.Petkovsek
Automatic confirmation of exhauistive use of information on a given equation	Материалы 4-й международной конференции “Компьютерная алгебра”, М: OOO МАКС Пресс, 69–72 (2021)	D.Khmelnov, A.Ryabenko
The TruncatedSeries Package for Solving Linear Ordinary Differential Equations Having Truncated Series Coefficients	In: Maple in Mathematics Education and Research, Springer Nature Switzerland, pp. 19–33 (2021)	D.Khmelnov, A.Ryabenko
On Rational and Hypergeometric Solutions of Linear Ordinary Difference Equations in ΠΣ*-field extensions	Journal of Symbolic Computation, 107 (2021) pp. 23–66	M.Bronstein, M.Petkovsek, C.Schneider
Контрольные точки в алгоритмах решения линейных обыкновенных дифференциальных и разностных систем	Программирование и вычислительная математика. Тезисы докладов конференции памяти Н. П. Трифонова / под ред. С.А.Абрамова, А.В.Столярова. – Москва : МАКС Пресс, 2020, с. 12–13.	А.А.Рябенко, Д.Е.Хмельнов
Checkpoints in searching for rational solutions of linear ordinary difference and differential systems.	ACM Communications in Computer Algebra. 2020. Vol. 54. Issue 2. P. 18–29.	A.A.Ryabenko, D.E.Khmelnov
Truncated Series and Formal Exponential-Logarithmic Solutions of Linear Ordinary Differential Equations Усеченные ряды и формальные экспоненциально-логарифмические решения линейных обыкновенных дифференциальных уравнений	Computational Mathematics and Mathematical Physics. 2020. Vol. 60. Issue 10. P. 1609–1620. (translation from Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2020, Vol. 60, No. 10, pp. 1664–1675.) Журнал вычислительной математики и математической физики, 2020, том 60, № 10, с. 1664–1675.	A.A.Ryabenko, D.E.Khmelnov А.А.Рябенко, Д.Е.Хмельнов
Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations	Lecture Notes in Computer Science. 2020. Vol. 12291. P. 63–76.	D.E.Khmelnov, A.A.Ryabenko
Усеченные ряды	Труды XII приокской научной конференции «Дифференциальные уравнения и смежные вопросы математики», Коломна: ГСГУ, 2020, с. 8–19.	А.А.Рябенко, Д.Е.Хмельнов
When the Search for Solutions Can Be Terminated	In: Pillwein V., Schneider C. (eds) Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra. In Honour of Peter Paule on his 60th Birthday.Springer, Cham. 2020. P. 1–7.
Лекции о сложности алгоритмов (издание третье, исправленное и дополненное)	М: МЦМНО (Современные лекционные курсы), 2020
Matrices of Scalar Differential Operators: Divisibility and Spaces of Solutions Краткая версия на русском из ЖВМ	Computational Mathematics and Mathematical Physics, 2020, Vol. 60, No. 1, pp. 109–118 Журнал вычислительной математики и математической физики, 2020, том 60, № 1, с. 115–117. (Полный текст статьи печатается в английской версии журнала)	M.A.Barkatou, M. Petkovsek
Convolutions of Liouvillian sequences	Journal of Symbolic Computation, Vol. 101, Nov.-Dec., 2020, pp. 73–89	M.Petkovsek, H.Zakrajsek
Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов	Programming and Computer Software, 2020, Vol. 46, No. 2, pp. 67–75 (translation from Trudy ISP RAN/Proc. ISP RAS, vol. 31, issue 5, 2019, pp. 233–248) Труды ИСП РАН, том 31, вып. 5, 2019 г., с. 233–248.	A.A.Ryabenko, D.E. Khmelnov А.А.Рябенко, Д.Е. Хмельнов
Regular Solutions of Linear Ordinary Differential Equations and Truncated Series Регулярные решения линейных обыкновенных дифференциальных уравнений и усеченные ряды	Computational Mathematics and Mathematical Physics, 2020, Vol. 60, No. 1, pp. 1–14 (translation from Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2020, Vol. 60, No. 1, pp. 4–17.) Журнал вычислительной математики и математической физики, 2020, том 60, № 1, с. 4–17.	A.A.Ryabenko, D.E. Khmelnov А.А.Рябенко, Д.Е. Хмельнов
Linear Ordinary Differential Equations and Truncated Series Линейные обыкновенные дифференциальные уравнения и усеченные ряды	Computational Mathematics and Mathematical Physics, 2019, Vol. 59, No. 10, pp. 1649–1659 (translation from Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2019, Vol. 59, No. 10, pp. 1706–1717.) Журнал вычислительной математики и математической физики, 2019, том 59, № 10, с. 1706–1717.	A.A.Ryabenko, D.E. Khmelnov А.А.Рябенко, Д.Е. Хмельнов
The Conference “Computer Algebra” in Moscow	ACM Communications in Computer Algebra, Vol. 53, No. 2, Issue 208, June 2019, p. 65–77.	A.A. Raybenko, L.A. Sevastianov, M.Wu, Y.Zonn
Package of Procedures for Inverting Matrices Whose Entries are Linear Difference Operators Пакет процедур обращения матриц с линейными разностными операторами в роли элементов	Programming and Computer Software, 2019, Vol. 44, No. 2, pp. 288–297 (translation from Programmirovanie, 2019, Vol. 45, No. 5) Программирование, No 5, 2019, с. 56–66.	D.E. Khmelnov Д.Е. Хмельнов
Семинар по компьютерной алгебре в 2017-2018 гг	Программирование, No 2, 2019, с. 3–5.	Боголюбская А.А.
An operator matrix having a given space of solutions	Computer Algebra: International Conference Proceedings, Moscow, June 17-21, 2019, p.83 Компьютерная Алгебра: Материалы международной конференции, Москва, 17-21 июня 2019 г., с. 83.	M.A.Barkatou
Laurent solutions of linear ordinary differential equations with coefficients in the form of truncated power series	Computer Algebra: International Conference Proceedings, Moscow, June 17-21, 2019, pp. 75–82. Компьютерная Алгебра: Материалы международной конференции, Москва, 17-21 июня 2019 г., с. 75–82.	A.A. Ryabenko, D.E. Khmelnov А.А. Рябенко, Д.Е. Хмельнов
Row reduction process for matrices of scalar operators: storing the intermediate results of row transformation	ACM Communications in Computer Algebra, Vol. 53, No. 1, Issue 207, March 2019, pp. 23–30	M.A.Barkatou
On unimodular matrices of difference operators.	In: Computer Algebra in Scientific Computing, 20th International Workshop, CASC 2018, Proceedings, LNCS 11077, pp. 18–31, 2018, Springer, Cham (2018)	D.E.Khmelnov
О дифференциальной сложности вычисления ранга матрицы над кольцом скалярных дифференциальных операторов	Дифференциальныйе уравнения и смежные вопросы математики. Труды X приокской научной конференции, 15-16 июня 2018, Коломна, с. 6–12.	Баркату М.А.
Вычисление размерности пространства решений линейной разностной системы	Международная алгебраическая конференция, посвященная 110-летию со дня рождения профессора А.Г.Куроша. Тезисы докладов. Издательство МГУ, 2018, с. 22.
Laurent, Rational, and Hypergeometric Solutions of Linear q-Difference Systems of Arbitrary Order with Polynomial Coefficients Лорановы, рациональные и гипергеометрические решения линейных q-разностных систем произвольного порядка с полиномиальными коэффициентами	Programming and Computer Software, 2018, Vol. 44, No. 2, pp. 120–130 (translation from Programmirovanie, 2018, Vol. 44, No. 2.) Программирование, No 2, 2018, с. 60–73.	A.A. Ryabenko, D.E. Khmelnov А.А. Рябенко, Д.Е. Хмельнов
Семинар по компьютерной алгебре в 2016-2017 гг	Программирование, No 2, 2018, с. 1–2.	Боголюбская А.А.
On Strongly Non-Singular Polynomial Matrices	In: Schneider C., Zima E. (eds) Advances in Computer Algebra. Springer Proceedings in Mathematics & Statistics, vol 226, 2018, pp. 1–17.	Barkatou M.A.
The Second Conference “Computer Algebra” in Moscow	ACM Communications in Computer Algebra, Vol. 51, No. 4, Issue 202, December 2017, p. 103–110.	A.A. Raybenko, T.M.Sadykov
Inverse Linear Difference Operators Обратные линейные разностные операторы	Computational Mathematics and Mathematical Physics, 2017, Vol. 57, No. 12, pp. 1887–1898. Original Russian Text published in Zhurnal Vychislitel’noi Matematiki i Matematicheskoi Fiziki, 2017, Vol. 57, No. 12, pp. 1933–1945. Журнал вычислительной математики и математической физики, 2017, том 57, № 12, с. 1933–1945.
EG-eliminations as a tool for computing rational solutions of linear q-difference systems of arbitrary order with polynomial coefficients	In: Computer algebra: International Conference Materials. Moscow, October 30 – November 3, 2017 – Моscow : Plekhanov Russian University of Economics, 2017, pp. 54–60.
Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk)	In: Computer Algebra in Scientific Computing, 19th International Workshop, CASC 2017, Proceedings, LNCS 10490, pp. 1–15, 2017, Springer, Cham (2017)
Revealing Matrices of Linear Differential Systems of Arbitrary Order Выявляющие матрицы линейных дифференциальных систем произвольного порядка	Programming and Computer Software, 2017, Vol. 43, No. 2, pp. 67–74 (translation from Programmirovanie, 2017, Vol. 43, No. 2.) Программирование, No 2, 2017, с. 7–16.	A.A. Ryabenko, D.E. Khmelnov А.А. Рябенко, Д.Е. Хмельнов
Семинар по компьютерной алгебре в 2015-2016 гг	Программирование, No 2, 2017, с. 3–6.	Боголюбская А.А.
On Ramification Indices of Formal Solutions of Constructive Linear Ordinary Differential Systems	Journal of Symbolic Computation, Vol. 79 (2017), Part 2, March–April 2017, pp. 475–481.
Об обращении разностных операторных матриц	Дифференциальныйе уравнения и смежные вопросы математики. Труды VIII приокской научной конференции, 10-11 июня 2016, Коломна-Константиново 2016, с. 4–12.
The Conference “Computer Algebra” in Moscow	ACM Communications in Computer Algebra, Vol. 50, No. 2, Issue 196, June 2016, p. 61–68.	L.A. Sevastianov
О показателях ветвления формальных решений конструктивных систем линейных обыкновенных дифференциальных уравнений	Тезисы докладов Международной конференции по алгебраической геометрии, комплексному анализу и компьютерной алгебре, г. Коряжма Архангельской области, Филиал С(А)ФУ им. М. В. Ломоносова, 3–9 августа 2016 год, стр.8
On the Differential and Full Algebraic Complexities of Operator Matrices Transformations	In: Computer Algebra in Scientific Computing, 18th International Workshop, CASC 2016, Proceedings, LNCS 9890, pp. 1–14, 2016, Springer, Heidelberg (2016)
Resolving Sequence of Operators for Linear Ordinary Differential and Difference Systems of Arbitrary Order Краткая версия на русском из ЖВМ	Computational Mathematics and Mathematical Physics, 2016, Vol. 56, Issue. 5, P. 894–910. Журнал вычислительной математики и математической физики, 2016, том 56, № 5, с. 909. (Полный текст статьи печатается в английской версии журнала)	M.Petkovsek, A.A. Ryabenko
Procedures for Searching Local Solutions of Linear Differential Systems with Infinite Power Series in the Role of Coefficients Процедуры поиска локальных решений линейных дифференциальных систем с бесконечными степенными рядами в роли коэффициентов	Programming and Computer Software, 2016, Vol. 42, No. 2, pp. 55–64 (translation from Programmirovanie, 2016, Vol. 42, No. 2.) Программирование, No 2, 2016, с. 75–86.	A.A. Ryabenko, D.E. Khmelnov А.А. Рябенко, Д.Е. Хмельнов
Семинар по компьютерной алгебре в 2014-2015 гг	Программирование, No 2, 2016, с. 1–4.	Боголюбская А.А., Ростовцев В.А.
Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-FunctionCoefficients	In: Computer Algebra in Scientific Computing, 17th International Workshop, CASC 2015, Proceedings, LNCS 9301, pp. 1–14, 2015, Springer, Heidelberg (2015)	M.Petkovsek, A.A.Ryabenko
Search of Rational Solutions to Differential and Difference Systems by Means of Formal Series Поиск рациональных решений дифференциальных и разностных систем с помощью формальных рядов	Programming and Computer Software, 2015, Vol. 41, No. 2, pp. 65–73 (translation from Programmirovanie, 2015, Vol. 41, No. 2.) Программирование, No 2, 2015, с. 69–80.
Семинар по компьютерной алгебре в 2013-2014 гг	Программирование, No 2, 2015, с. 3–6.	Боголюбская А.А., Ростовцев В.А.
On full rank differential systems with power series coefficients	Journal of Symbolic Computation, Vol. 68 (2015), pp. 120–137.	M.A.Barkatou, D.E.Khmelnov
On Solution Spaces of Products of Linear Differential or Difference Operators	ACM Communications in Computer Algebra, Vol. 48, No. 4, Issue 190, December 2014, pp. 155–165.	M.A.Barkatou
Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems	In: Computer Algebra in Scientific Computing, 16th International Workshop, CASC 2014, Proceedings, LNCS 8660, pp. 1–12, 2014, Springer, Heidelberg (2014)	M.A.Barkatou
Regular Solutions of Linear Differential Systems with Power Series Coefficients Регулярные решения линейных дифференциальных систем с коэффициентами в виде степенных рядов	Programming and Computer Software, No 2, 2014, 98–106 (translation from Programmirovanie, No 2, 2014, in Russian) Программирование, No 2, 2014, с. 75–85.	D.E. Khmelnov Д.Е. Хмельнов
Семинар по компьютерной алгебре в 2012-2013 гг	Программирование, No 2, 2014, с. 3–11.	Боголюбская А.А., Ростовцев В.А.
On the Dimension of Solution Spaces of Full Rank Linear Differential Systems	In: Computer Algebra in Scientific Computing, 15th International Workshop, CASC 2013, Berlin, Germany, September 2013, Proceedings, LNCS 8136, pp. 1–9, 2013, Springer, Heidelberg (2013)	M.A.Barkatou
On the width of full rank linear differential systems with power series coefficients	In: Mathematical Modeling and Computational Physics (MMCP'2013): Book of Absstracts of the International Conference (Dubna, July 8-12, 2013), pp. 22–23 - Dubna: JINR, 2013	M.A.Barkatou, D.E.Khmelnov
Linear differential and difference systems: EG_delta- and EG_sigma- eliminations Линейные дифференциальные и разностные Системы: EG_delta- и EG_sigma- исключения	Programming and Computer Software, No 2, 2013, 91–109 (translation from Programmirovanie, No 2, 2013, in Russian) Программирование, No 2, 2013, стр. 51–74.	D.E. Khmelnov Д.Е. Хмельнов
Семинар по компьютерной алгебре в 2011-2012 гг	Программирование, No 2, 2013, стр. 3–10.	Боголюбская А.А., Ростовцев В.А.
Extendable Essay as a Hypertext Scheme for Information and Educational Material Расширяемое эссе как гипертекстовая схема информационного и учебного материала	Computational Mathematics and Mathematical Physics, 2013, Vol. 53, No. 3, pp. 369–374. (Original Russian Text published in Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki, 2013, Vol. 53, No. 3, pp. 495-501.) Журнал вычислительной математики и математической физики, том 53, N 3, 2013, стр. 495–501.	E.A.Bordachenkova, D.E.Khmelnov Е.А.Бордаченкова, Д.Е.Хмельнов
Linear q-difference equations depending on a parameter	Journal of Symbolic Computation, 49, 2013, P. 65–77.	A.A.Ryabenko
Лекции о сложности алгоритмов (издание второе, переработанное)	М: МЦМНО (Современные лекционные курсы), 2012
On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations	In: Computer Algebra in Scientific Computing, 14th International Workshop, CASC 2012, Maribor, Slovenia, September 2012, Proceedings, LNCS 7442, pp. 1–11, 2012, Springer, Heidelberg (2012)	M.Petkovsek
On valuations of meromorphic solutions of arbitrary-order linear difference systems with polynomial coefficients	Proc. ISSAC'12, Grenoble, pp. 12–19.	D.E.Khmelnov
Элементы компьютерной алгебры линейных обыкновенных дифференциальных, разностных и q-разностных операторов	М: МЦМНО, 2012
Denominators of Rational Solutions of Linear Difference Systems of an Arbitrary Order Знаменатели рациональных решений линейных разностных систем произвольного порядка	Programming and Computer Software, No 2, 2012, pp. 84–91 (translation from Programmirovanie, No 2, 2012, in Russian) Программирование, No 2, 2012, стр. 45–54.	D.E. Khmelnov Д.Е. Хмельнов
Семинар по компьютерной алгебре в 2010-2011 гг	Программирование, No 2, 2012, стр. 3–11.	Боголюбская А.А., Ростовцев В.А.
On Singular Points Of Solutions Of Linear Differential Systems With Polynomial Coefficients Особые точки решений линейных обыкновенных дифференциальных систем с полиномиальными коэффициентами	Journal of Mathematical Sciences, Vol. 185, No. 3, 2012, pp. 347–359 (translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 17, No. 1, pp. 3–21, 2011/12) Фундаментальная и прикладная математика, 2011/2012, том 17, N 1, с. 3—21.	D.E. Khmelnov Д.Е. Хмельнов
Subanalytic Solutions of Linear Difference Equations and Multidimensional Hypergeometric Sequences	Journal of Symbolic Computation. 46, 2011, pp. 1205–1228.	M.A.Barkatou, M. van Hoeij, M.Petkovsek
Higher-Order Linear Differential Systems with Truncated Coefficients	In: Computer Algebra in Scientific Computing, 13th International Workshop, CASC 2011, Kassel, Germany, September 2011, Proceedings, LNCS 6885, pp. 10–24, 2011, Springer, Heidelberg (2011)	M. A. Barkatou, E. Pfluegel
Desingularization of leading matrices of systems of linear ordinary differential equations with polynomial coefficients	International conference "Differential Equations and Related Topics", dedicated to 110 anniversary of I.G.Petrovskii, Moscow, MSU, May, 30 - June 4, 2011. Book of Abstracts. p. 5.	D.E. Khmelnov
Rational Solutions of Linear Difference Equations: Universal Denominators and Denominator Bounds Рациональные решения линейных разностных уравнений: универсальные знаменатели и границы знаменателей	Programming and Computer Software, No 2, 2011, pp. 78–86 (translation from Programmirovanie, No 2, 2011, in Russian) Программирование, No 2, 2011, стр. 28–39.	A. Gheffar, D.E. Khmelnov А. Геффар, Д.Е. Хмельнов
The Research Seminar on Computer Algebra in 2009-2010. Семинар по компьютерной алгебре в 2009-2010 гг	Programming and Computer Software, No 2, 2011, pp. 57–61 (translation from Programmirovanie, No 2, 2011, in Russian) Программирование, No 2, 2011, стр. 3–8.	A.A.Bogolyubskaya, V. F. Edneral and V. A. Rostovtsev Боголюбская А.А., Ростовцев В.А., Еднерал В.Ф
Rational Solutions of Linear Difference Equations Revisited	In: Computer Algebra Systems in Teaching and Research, CASTR 2011, Siedlce, Poland, Proceedings, pp. 5–19.	A. Gheffar, D.E. Khmelnov
Valuations of rational solutions of linear difference equations at irreducible polynomials	Advances in Applied Mathematics, vol. 47 (2011), pp. 352–364.	A. Gheffar
Factorization of Polynomials and GCD Computations for Finding Universal Denominators	In: Computer Algebra in Scientific Computing, 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 2010, Proceedings, LNCS 6244, pp. 4–18, 2010, Springer, Heidelberg (2010)	A. Gheffar, D.E. Khmelnov
On Some Decidable and Undecidable Problems Related to Q-Difference Equations with Parameters	Proc. ISSAC'10, Munich, pp. 311–317.
On an Undecidable Problem Related to Difference Equations with Parameters Об одной алгоритмически неразрешимой проблеме, связанной с разностными уравнениями с параметрами	Programming and Computer Software, No 2, 2010, pp. 63–67 (translation from Programmirovanie, No 2, 2010, in Russian) Программирование, No 2, 2010, 7–12.
The Research Seminar on Computer Algebra in 2008-2009. Семинар по компьютерной алгебре в 2008-2009 гг	Programming and Computer Software, No 2, 2010, pp. 59–62 (translation from Programmirovanie, No 2, 2010, in Russian) Программирование, No 2, 2010, стр. 8–13.	A.A.Bogolyubskaya, V. F. Edneral and V. A. Rostovtsev Боголюбская А.А., Ростовцев В.А., Еднерал В.Ф
Polynomial ring automorphisms, rational (omega, sigma)-canonical forms, and the assignment problem	Journal of Symbolic Computation. 45, 2010, pp. 684–708.	M.Petkovsek
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, LNCS 5743, pp. 1–17, 2009, Springer, Heidelberg (2009)	M.A.Barkatou, D.E.Khmelnov
Об одной алгоритмически неразрешимой проблеме, связанной с дифференциальными и разностными уравнениями	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.	M.A.Barkatou
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.	M. A. Barkatou, M. van Hoeij, M. Petkovsek
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.	M.Petkovsek
Построение определяющих рациональных функций линейных обыкновенных дифференциальных уравнений с полиномиальными коэффициентами. (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. Семинар по компьютерной алгебре в 2006-2007 гг	Programming and Computer Software, 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.	M.A.Barkatou
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.	A.A.Ryabenko
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, LNCS 4770, pp. 1–10, 2007, Springer, Heidelberg (2007)	M.Petkovsek
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)	A.A.Bogolyubskaya, V. F. Edneral and V. A. Rostovtsev
Hypergeometric Summation Revisited.	In: Computer Algebra 2006: Latest Advances in Symbolic Algorithms. World Scientific, 2007, pp. 1–11.	M.Petkovsek
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, LNCS 3718, pp. 1–12, 2005, Springer, Heidelberg (2005)	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 telescoping	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
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 (Erratum)	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, pp. 1–6	M.Bronstein
Minimal Decomposition of Indefinite Hypergeometric Sums	Proc. ISSAC, 2001, pp. 7–14	M.Petkovsek
Canonical Representation of Hypergeometric Terms	Proc. FPSAC, 2001	M.Petkovsek
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.	Крюков А.П., Ростовцев В.А.
A Note on the Number of Division Steps in the Euclidean Algorithm	SIGSAM Bulletin, v. 34, N 4, 2000, p. 1–4
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	Зима Е.В.
О периферийной факторизации линейных обыкновенных операторов On Peripheral Factorization of Linear Homogeneous Operators	Программирование, N 1, 1997 Programming and Computer Software, Vol.23, No. 1, 1997, pp. 44–50.	С.П.Царев S.P.Tsarev
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
Rational Solutions of Linear Difference and q-Difference Equations with Polynomial Coefficients Рациональные решения линейных разностных и q-разностных уравнений с полиномиальными коэффициентами	Programming and Computer Software, No 6, 1995, pp. 273–278 (translation from Programmirovanie, No 6, 1995, pp. 3–11, in Russian) Программирование, N 6, 1995, стр.3–11.
Пакет символьного решения ЛОДУ с полиномиальными коэффициентами	препринт ВЦ РАН, 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
Rational solutions of linear differential and difference equations with polynomial coefficients Рациональные решения линейных дифференциальных и разностных уравнений с полиномиальными коэффициентами	U.S.S.S. Comput.Maths.Math.Phys., Vol.29, No.6, pp.7–12, 1989 ЖВМ и МФ, 1989, том 29, N 11, 1611–1620
Задачи компьютерной алгебры, связанные с поиском полиномиальных решений линейных дифференциальных и разностных уравнений	Вестник МГУ, Cерия 15, N 3, 1989
Разностные уравнения в поле рациональных функций	сб. Аналитические и численные методы, решения задач математической физики, ВЦ АН СССР, 1989
Обобщение бинарного алгоритма вычисления наибольшего общего делителя целых чисел	В сб. Вопросы математической логики и теории алгоритмов, ВЦ АН СССР, 1988, с. 34–37.	С.И.Рыбин
Задачи по программированию (книга)	Наука, 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	М.Ю.Розенблюм
Some estimates connected with Euclid's algorithm Некоторые оценки, связанные с алгоритмом Евклида	USSR Computational Mathematics and Mathematical Physics Volume 19, Issue 3, 1979, pp. 207–212. ЖВМ и МФ, N 2, 1979.
Некоторые вопросы трансляции в ЛИСП	Обработка символьной информации, N 4, 1978
Элементарный анализ алгоритма Евклида	Математика в школе, 1978
Математические построения и программирование	Наука, 1978
Программировавание на упрощенном алголе (книга)	Наука, 1978	И.Н.Антипов
Задача построения математического объекта и программирование	Новые исследования в пед. Науках, N 3, 1977	И.Н.Антипов
Конечноразностные уравнения второго порядка с постоянными коэффициентами в поле рациональных функций	ЖВМ и МФ, N 4, 1977
Программа вычисления определителей и рангов полиномиальных матриц	Обработка символьной информации, N 3, 1976
Алгоритмический язык АЛГОЛ-60 (книга)	Просвещение, 1975	И.Н.Антипов
Рациональная компонента решения линейного рекуррентного соотношения первого порядка с рациональной правой частью The rational component of the solution of a first-order linear recurrence relation with a rational right side	ЖВМ и МФ, N 4, 1975 USSR Computational Mathematics and Mathematical Physics, 15(4), 216–221, 1975.
Об одном классе функций целочисленных переменных	Обработка символьной информации, N 2, 1975
Решение линейных конечноразностных уравнений с постоянными коэффи циентами в поле рациональных функций	ЖВМ и МФ, N 4, 1974
Система АПРЕФ	Обработка символьной информации (ВЦ АН СССР), N 1, 1973
PR - система для выполнения действий над рациональными выражениями	Алгоритмы и алгоритмические языки, N 6, 1973
О некоторых алгоритмах алгебраических преобразований функциональных выражений	Вычисл. математика (ФТИНТ, Харьков), 1972, вg.3
О суммировании рациональных функций On the summation of rational functions	ЖВМ и МФ, N 4, 1971 U.S.S.R. Computational Mathematics and Mathematical Physics, 11(4), p. 324–330. (1971).
Оперирование над некоторыми выражениями	ЖВМ и МФ, N 1, 1971
PR и RS - системы для проведения некоторых формульных выкладок (тезисы)	Тезисы докл. симпозииума по обработке символьной информации, Тбилиси, 1970

S.A. Abramov Created: September 19, 2001. Last Modified: May 12, 2023.