Sergei A. Abramov's selected publications

Title Reference Co-authors

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

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

H.Q.Le

Univariate Ore Polynomial Rings in Computer Algebra

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

H.Q.Le and Z.Li

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

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

Х.К.Ле и З.Ли

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

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

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

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

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

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

Partial closed-form solutions of linear functional systems.

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

M.Bronstein.

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

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

S.A. Abramov, D.E.Khmelnov

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

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

H.Q. Le

Telescoping in the context of symbolic summation in Maple.

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

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

Regularization of linear recurrence systems

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

M.Bronstein and D.E.Khmelnov

When does Zeilberger's Algorithm Succeed?

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

 

Continuation of holomorphic solutions of linear difference equations with polynomial coefficients

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

M.Barkatou

Rational canonical forms and efficient representations of hypergeometric terms

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

H.Q.Le and M.Petkovsek

OreTools: a computer algebra library for univariate Ore polynomial rings

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

H.Q. Le and Ziming Li

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

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

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

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

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

M. van Hoeij

Linear algebra for skew-polynomial matrices

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

M.Bronstein

Applicability of Zeilberger's Algorithm to Hypergeometric Terms

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

 

Computer Algebra Library for the Construction of the Minimal Telescopers

International Congress of Mathematical Software, World Scientific, 2002

K.O.Geddes, H.Le

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

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

M. van Hoeij

Linear algebra for skew-polynomial matrices

INRIA. Rapport de recherche No 4420, March 2002

M.Bronstein

Symbolic Summation in Maple

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

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

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

Discrete Mathematics, v. 259, 2002

H.Le

On the structure of multivariate hypergeometric term

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

M.Petkovsek

Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms

J. Symb. Comput., 33, 2002

M.Petkovsek

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

Discrete Mathematics, v. 246, 2002

 

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

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

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

Proof of a conjecture of Wilf and Zeilberger

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

M.Petkovsek

On Solutions of Linear Functional Systems and Errata

Proc. ISSAC, 2001

M.Bronstein

Optimal Decomposition of Indefinite Hypergeometric Sums

Proc. ISSAC, 2001

M.Petkovsek

Canonical Representation of Hypergeometric Terms

Proc. FPSAC, 2001

M.Petkovsek

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

SIGSAM Bulletin, v. 34, N 4, 2001

 

A scheme of eliminations in linear recurrent systems and its applications

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

P.E.Glotov, D.E.Khmelnov

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

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

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

Hypergeometric dispersion and the orbit problem

Proc. of ISSAC, 2000

M.Bronstein

A note on Zeilberger's algorithm and proper terms

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

 

Applicability of Zeilberger's Algorithm to Rational Functions

Proc. of FPSAC, 2000

H.Le

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

Discret.Math., v. 225, 2000

 

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

Discret.Math., v. 217, 2000

 

Special formal series solutions of linear operator equations

Discret.Math., v. 210, 2000

M.Petkovsek, A.Ryabenko

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

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

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

Integration of Solutions of Linear Functional Equations

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

M. van Hoeij

EG-eliminations

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

 

Rational solutions of First Order Linear q-Difference Systems

Proc. of FPSAC, 1999

 

Desingularization of Linear Difference Operators with Polynomial Coefficients

Proc. of ISSAC, 1999

M. van Hoeij

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

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

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

Rational Solutions of First Order Linear Difference Systems

Proc. of ISSAC, 1998

M.A.Barkatou

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

Proc. of FPSAC, 1998

 

q-Hypergeometric solutions of q-difference equations

Discret. Math., v.180, 1998

M.Petkovsek, P.Paule

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

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

Зима Е.В.

Minimal Completely Factorable Annihilators

Proc. of ISSAC'97

E.V.Zima

A method for the Integration of Solutions of Ore Equations

Proc. of ISSAC'97

M. van Hoeij

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

FPSAC'97, 1997

 

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

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

Зима Е.В.

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

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

С.П.Царев

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

Book of abstracts of CMCP'96, 1996

M.Petkovsek

A Universal Program to Uncouple Linear Systems

Proc. of CMCP (Dubna, Russia, 1996)

E.V.Zima

Special power series solutions of linear differential equations

Proc.FPSAC'96, 1996

M.Petkovsek

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

Proc.ISSAC'96, 1996

E.V.Zima

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

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

 

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

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

Е.В.Зима

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

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

Е.В.Зима

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

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

 

Indefinite sums of rational functions

Proc.ISSAC'95, 1995

 

On polynomial solutions of linear operator equations

Proc.ISSAC'95, 1995

M.Petkovsek, M.Bronstein

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

Proc.ISSAC'95, 1995

 

Finding all q-hypergeometric solutions of q-difference equations

Proc.FPSAC'95, 1995

M.Petkovsek

D'Alembertian Solutions of Linear Differential and Difference Equations

Proc.ISSAC'94, 1994

M.Petkovsek

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

ЖВМ и МФ, N 7, 1994

 

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

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

 

On d'Alembert substitution

Proc.ISSAC'93, 1993

 

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

Proc.ISSAC'93, 1993

K.Yu.Kvashenko

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

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

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

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

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

Зима Е.В.

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

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

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

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

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

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

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

Proc. ISSAC'91, 1991

K.Yu.Kvashenko

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

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

 

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

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

 

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

ВЦ АН СССР, 1991

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

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

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

 

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

Наука, 1989

Е.В.Зима

Some algorithms of rational function algebra

Lecture Notes in Computer Science, N 378, 1989

 

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

ЖВМ и МФ, N 11, 1989

 

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

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

 

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

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

 

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

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

С.И.Рыбин

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

Наука, 1988

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

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

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

 

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

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

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

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

ВЦ АН СССР, 1988

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

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

Наука, 1987

Е.В.Зима

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

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

 

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

ВЦ АН СССР, 1987

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

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

ВЦ АН СССР, 1987

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

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

Наука, 1986

 

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

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

 

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

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

 

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

ЖВМ и МФ, N 9, 1985

 

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

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

 

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

Квант, N 11, 1985

 

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

ВЦ АН СССР, 1985

 

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

ВЦ АН СССР, 1985

 

On the Birch-Swinnerton-Dyer Conjecture mod p

Journal of Number Theory, N 3, 1984

M.Yu.Rosenblum

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

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

 

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

ЖВМ и МФ, N 7, 1984

 

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

ЖВМ и МФ, N 4, 1984

 

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

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

 

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

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

 

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

ЖВМ и МФ, N 2, 1983

 

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

Наука, 1982

 

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

Наука, 1982

И.Н.Антипов

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

ЖВМ и МФ, N 2, 1982

 

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

ЖВМ и МФ, N 1, 1982

 

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

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

 

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

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

 

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

ЖВМ и МФ, N 5, 1980

 

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

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

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

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

ЖВМ и МФ, N 2, 1979

 

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

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

 

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

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

 

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

Наука, 1978

 

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

Наука, 1978

И.Н.Антипов

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

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

И.Н.Антипов

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

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

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

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

ЖВМ и МФ, N 4, 1977

 

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

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

 

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

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

И.Н.Антипов

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

ЖВМ и МФ, N 4, 1975

 

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

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

 

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

ЖВМ и МФ, N 4, 1974

 

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

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

 

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

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

 

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

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

 

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

ЖВМ и МФ, N 4, 1971

 

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

ЖВМ и МФ, N 1, 1971

 

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

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

 

S.A. Abramov Created: September 19, 2001. Last Modified: February 02, 2013.