Sergei A. Abramov's selected publications
| Title | Reference | Co-authors |
|
Linear differential and difference systems: EG_delta- and EG_sigma- eliminations Линейные дифференциальные и разностные Системы: EG_delta- и EG_sigma- исключения |
Programming and Computer Software, No 3, 2013, 91-109 (translation from Programmirovanie, No 3, 2013, in Russian) Программирование, No 3, 2013, стр. 51-74 |
D.E. Khmelnov Д.Е. Хмельнов |
|
Программирование, No 3, 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 Е.А.Бордаченкова, Д.Е.Хмельнов |
|
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 |
|
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 Д.Е. Хмельнов |
|
Программирование, 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 |
|
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 А. Геффар, Д.Е. Хмельнов |
|
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 Боголюбская А.А., Ростовцев В.А., Еднерал В.Ф |
|
|
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 |
|
|
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 А.Рябенко |
|
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 Петковшек М |
|
|
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 |
|
Proc. ISSAC'08, Hagenberg, pp. 1-2. |
||
|
Journal of Symbolic Computation. 43, 2008, pp. 371-394 |
M.Petkovsek | |
|
Международная конференция "Дифференциальные уравнения и топология", посвященная 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 |
|
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 |
|
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 С.П.Поляков |
|
|
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 | |
|
In: Computer Algebra 2006: Latest Advances in Symbolic Algorithms. World Scientific, 2007, pp. 1-11 |
M.Petkovsek | |
|
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. |
|
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 Петковшек М. |
|
|
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. |
||
|
Решение линейных дифференциальных и разностных систем по отношению к части неизвестных |
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. |
А.А.Боголюбская, В.А.Ростовцев, В.Ф.Еднерал |
|
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 |
|
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. |
А.А. Рябенко. |
|
Международная конференция "Дифференциальные уравнения и смежные вопросы", посвященная 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 |
|
Journal of Symbolic Computation, V. 38, No 4, 1303-1326. |
J.J.Carette, K.O.Geddes, H.Q. Le |
|
|
Transactions of French-Russian A.M.Liapunov Institute, 2003, p. 158-171 |
M.Bronstein and D.E.Khmelnov |
|
|
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 |
|
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 |
|
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 |
|
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 |
Крюков А.П., Ростовцев В.А. |
|
Proc. of ISSAC, 2000 |
M.Bronstein | |
|
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 |
Крюков А.П., Ростовцев В.А. |
|
Integral transforms and Special Functions, v. 8, No 1-2, 1999 |
M. van Hoeij | |
|
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 |
В.А.Ростовцев |
|
Proc. of ISSAC, 1998 |
M.A.Barkatou | |
|
Power Series Solutions with "Eventually Nice" Coefficients of Linear Ordinary Differential Equations |
Proc. of FPSAC, 1998 |
|
|
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 |
|
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 |
|
|
Proc.ISSAC'95, 1995 |
||
|
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 |
|
|
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 |