http://www.ccas.ru/ca/ 2026-04-06T22:47:45+03:00 http://www.ccas.ru/ca/ http://www.ccas.ru/ca/://www.ccas.ru/ca/lib/tpl/default/images/favicon.ico text/html 2012-11-15T13:00:31+03:00 http://www.ccas.ru/ca/%D1%81%D1%82%D0%B0%D1%82%D1%8C%D1%8F_%D0%BE_eg?rev=1352970031&do=diff [Линейные дифференциальные и разностные системы: EG_delta - и EG_sigma - исключения]. text/html 2024-10-26T20:57:40+03:00 http://www.ccas.ru/ca/community?rev=1729965460&do=diff NameAffiliatione-mailInterestsS.A.AbramovDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences and Moscow State Universitysergeyabramov [at] mail.ruLinear differential and difference equations and systems, summation problemsA.Ph.AlbuDorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciencesalla.albu [at] mail.ruOptimization MethodsA.A.AlexeyevRussian Technological University aal… text/html 2025-07-09T21:07:14+03:00 http://www.ccas.ru/ca/conference?rev=1752084434&do=diff The 6th international Moscow conference “Computer Algebra” was held (hybrid format: in-person and online) from June 23 to June 25, 2025. The conference was co-organized by Federal Research Center “Computer Science and Control” of Russian Academy of Sciences (CCAS), Peoples’ Friendship University of Russia (RUDN) and Plekhanov Russian University of Economics (PRUE). text/html 2017-05-01T12:33:03+03:00 http://www.ccas.ru/ca/conference2016?rev=1493631183&do=diff The international conference “Computer Algebra” is held in Moscow from June 29 to July 2, 2016. The conference is co-organized by Dorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences (CCAS) and Peoples’ Friendship University of Russia (PFUR). text/html 2021-03-03T21:52:59+03:00 http://www.ccas.ru/ca/conference2017?rev=1614797579&do=diff The 2nd international conference “Computer Algebra” was held in Moscow from October 30 to November 3, 2017. The conference was co-organized by Dorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences (CCAS) and Plekhanov Russian University of Economics (RUE). text/html 2021-03-03T20:54:14+03:00 http://www.ccas.ru/ca/conference2019?rev=1614794054&do=diff The 3rd international conference “Computer Algebra” will be held in Moscow from June 17 to June 21, 2019. The conference will be co-organized by Dorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences (CCAS) and Peoples’ Friendship University of Russia (PFUR) with the participation of Intellectual Ring Ltd. and Center for Big Data Storage and Analysis. text/html 2022-12-09T17:42:46+03:00 http://www.ccas.ru/ca/conference2021?rev=1670596966&do=diff The 4th international Moscow conference “Computer Algebra” will be held online from June 28 to June 29, 2021. The conference will be co-organized by Dorodnicyn Computing Center, Federal Research Center “Computer Science and Control” of Russian Academy of Sciences (CCAS) and Peoples’ Friendship University of Russia (PFUR). text/html 2025-01-20T12:22:20+03:00 http://www.ccas.ru/ca/conference2023?rev=1737364940&do=diff The 5th international Moscow conference “Computer Algebra” will be held online from June 26 to June 28, 2023. The conference will be co-organized by Federal Research Center “Computer Science and Control” of Russian Academy of Sciences (CCAS), Peoples’ Friendship University of Russia (PFUR) and Keldysh Institute of Applied Mathematics of Russian Academy of Sciences (KIAM RAS). text/html 2019-06-19T09:52:08+03:00 http://www.ccas.ru/ca/eg?rev=1560927128&do=diff The package is implementing the family of EG algorithms. EG eliminations We consider arbitrary order ordinary systems of differential or difference equations with polynomial coefficients. We assume that equations of the system are independent. For any system S of this form the algorithm EG_delta in the differential case and the algorithm EG_sigma in the difference case construct an l-embracing system S' of the same form, but with the leading matrix coefficient being invertible, and with the s… text/html 2017-03-29T10:02:54+03:00 http://www.ccas.ru/ca/egrr?rev=1490770974&do=diff The EGRR package implements in Maple 2016 a family of algorithms for transforming a full-rank system to a system having a nonsingular revealing matrix of a desired type. We consider an arbitrary order linear ordinary system S of differential equations with polynomial coefficients: text/html 2018-09-03T22:56:53+03:00 http://www.ccas.ru/ca/egrrext?rev=1536004613&do=diff The package EGRRext is the implementation of the algorithms reported in S.A.Abramov, D.E.Khmelnov. On Unimodular Matrices of Difference Operators. CASC 2018, Proceedings, Lecture Notes in Computer Science. 2018. V.11077, pp. 1-14. * [The zip archieve with the source files of the package] * [The Maple session with some examples of the use of the package] * [The same session exported to PDF] text/html 2024-09-17T16:17:20+03:00 http://www.ccas.ru/ca/essay?rev=1726579040&do=diff [Расширяемое эссе как гипертекстовая схема информационного и учебного материала], Журнал вычислительной математики и математической физики, том 53, N 3, 2013, стр. 495-501. text/html 2016-02-28T12:01:23+03:00 http://www.ccas.ru/ca/extract?rev=1456650083&do=diff We consider the differential system of full rank of the form A1y' + A0y = 0 where A1, A0 are square matrices and y is unknown vector, some components of which are selected (are of more interest to us then the other ones). The leading matrix A1 may be singular (i.e. the initial system may be a differential-algebraic system). The Extract procedure builds a new normal differential system text/html 2015-10-12T13:47:31+03:00 http://www.ccas.ru/ca/formalsolution?rev=1444646851&do=diff The procedure FormalSolution is an implementation in Maple 2015 of an algorithm to construct a basis of the space of formal exponential-logarithmic solutions for systems of differential equations with polynomial coefficients. The algorithm is based on the use of resolving sequences. text/html 2024-09-17T16:04:05+03:00 http://www.ccas.ru/ca/lfs?rev=1726578245&do=diff The LFS package is for solving Linear Functional (differential, difference and q-difference) Systems of equations. The procedure RationalSolution is an implementation in Maple 2020 of two algorithms to construct a basis of rational-function solutions for homogeneous systems with rational-function coefficients and a particular solution for inhomogeneous systems with rational-function right-hand sides. See for detail in [the slides of the talk S. Abramov, D.Khmelnov, A.Ryabenko «Searching for rat… text/html 2013-02-02T13:19:09+03:00 http://www.ccas.ru/ca/liouvilliansolution?rev=1359796749&do=diff The procedure finds the Liouvillian solution of the given linear (q-)recurrence with the rational function coefficients using the algorithm by Hendriks & Singer. The Liouvilian solution is a generalization of the (q-)hypergeometric solution. Let H is the set of all (q-)hypergeometric sequences and L is the smallest subring of the ring S of all sequences which contains H and is closed under (q-)shifts, summation and interlacing. The elements of L are called Liouvillian sequences and a recurrence… text/html 2015-02-20T17:32:44+03:00 http://www.ccas.ru/ca/lpdo?rev=1424442764&do=diff --- Ekaterina Shemyakova 2015/02/16 14:21 This is a package for computer algebra system MAPLE. It contains symbolic algorithms for Linear Partial Differential Operators (LPDOs) and for linear Partial Differential Equations (PDEs) with parametric coefficients. We consider arbitrary LPDOs in arbitrary many independent variables and of arbitrary orders and allow coefficients to be symbolic. Numerous tools are available with the focus on the Darboux, generalized Darboux and related invariant algo… text/html 2018-05-17T13:26:59+03:00 http://www.ccas.ru/ca/lqrs?rev=1526552819&do=diff The LqRS (Linear q-Recurrence Systems) package implements in Maple 2017 a family of algorithms to solve a full-rank q-recurrence system. We consider an arbitrary order linear system S of q-recurrence equations with polynomial coefficients: An(x) y(x q^n) + … + A1(x) y(x q) + A0(x) y(x) = b(x), text/html 2021-11-04T12:46:54+03:00 http://www.ccas.ru/ca/lrs?rev=1636019214&do=diff The procedure HypergeometricSolution in the package LRS (Linear Recurrence Systems) is an implementation in Maple 2018 of an algorithm to construct a general hypergeometric solutions for systems of linear recurrence equations with rational-function coefficients and hypergeometric right-hand sides. text/html 2025-02-27T15:27:34+03:00 http://www.ccas.ru/ca/orealgebragaussianelimination?rev=1740659254&do=diff The OreAlgebraGaussianElimination command is an implementation in Maple 2021 of Gaussian elimination on matrices with entries in an Ore algebra: [orealgebragaussianelimination.mw] - the Maple session file with the OreAlgebraGaussianElimination command and examples of its use. text/html 2015-10-03T10:56:18+03:00 http://www.ccas.ru/ca/pqde?rev=1443858978&do=diff The ParametrizedQDifferenceEquation package is designed to search for the solutions of q-difference equations depending on a parameter. The details are to be available in the paper S.A.Abramov, A.A.Ryabenko. Linear q-difference equations depending on a parameter. Journal of Symbolic Computation. 49, 2013, P. 65-77. text/html 2018-05-17T13:30:06+03:00 http://www.ccas.ru/ca/resolvingsequence?rev=1526553006&do=diff The procedure ResolvingSequence is an implementation in Maple 2015 of an algorithm to construct resolving sequences for systems of differential, difference and q-difference equations with polynomial coefficients. The procedure is applicable to systems of equations from any Ore polynomial ring which can be defined by the procedure SetOreRing in the package OreTools (it is a standard package in Maple). text/html 2018-09-06T21:41:15+03:00 http://www.ccas.ru/ca/satellite?rev=1536259275&do=diff The Satellite package contains Maple procedures to determine satellite and linearly satellite unknowns in linear differential systems. Procedures for satellite unknowns recognizing implement partial algorithms, so they cannot be applied to all differential systems and thus they solve the problem in some cases. In other cases they do not give any answer (nor positive, nor negative). text/html 2014-05-19T10:43:32+03:00 http://www.ccas.ru/ca/slode?rev=1400481812&do=diff The Slode package contains commands to find formal solutions of linear ordinary differential equations (l.o.d.e.) and determine points for some special series solutions (hypergeometric, rational, polynomial, and sparse series). Here is the latest version of Slode, which contains a new procedure Liouvillian_series_sol to find formal power series solutions with Liouvillian coefficients for a l.o.d.e. This version of Slode has been tested in the Maple 14 version. The procedure Liouvillian_series_s… text/html 2025-05-23T13:48:59+03:00 http://www.ccas.ru/ca/start?rev=1747997339&do=diff This page is devoted to the activities and results of the Computer Algebra group of the Department of Software Engeneering of CCAS RAS. * ParametrizedQDifferenceEquation package * Summation tools * EG package * EGRR package * LPDO package * LiouvillianSolution procedure text/html 2012-04-11T13:55:18+03:00 http://www.ccas.ru/ca/sts?rev=1334138118&do=diff 1. [RationalSum.mpl] - a procedure implementing various algorithms of indefinite summation of rational functions in Maple. Created by S.P. Polyakov. See details in the [specifications file]. 2. [MinimalAnnihilator.mpl] - a procedure computing an annihilating operator of minimal order for a bivariate hypergeometric sequence. Created by S.P. Polyakov. See details in the [specifications file]. text/html 2023-08-17T13:29:08+03:00 http://www.ccas.ru/ca/truncatedseries?rev=1692268148&do=diff The TruncatedSeries package is designed to search for Laurent solutions, regular solutions and formal exponetial-logarithmic solutions of linear ordinary differential equations and systems with truncated series coefficients: [TruncatedSeries2023.zip] – the archive with two files: maple.ind and maple.lib are a Maple library. Put these files to some directory, for example to ”/usr/userlib”. Assign