Sergei A. Abramov's selected publications

Title Reference Co-authors

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

Труды 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.

А.А.Рябенко, Д.Е.Хмельнов

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

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

Зима Е.В.

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

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

 

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

ЖВМ и МФ, N 11, 1989

 

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

Вестник МГУ, 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.