Computer Algebra Group
http://www.ccas.ru/ca/
2018-09-20T20:33:43+03:00Computer Algebra Group
http://www.ccas.ru/ca/
http://www.ccas.ru/ca/://www.ccas.ru/ca/lib/tpl/default/images/favicon.icotext/html2018-09-06T21:41:15+03:00antonsatellite - [Description]
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/html2018-09-03T22:56:53+03:00denisegrrext
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/html2018-09-02T10:20:40+03:00annalfs
http://www.ccas.ru/ca/lfs?rev=1535872840&do=diff
The procedure HypergeometricSolution in the package LFS (Linear Functional Systems) is an implementation in Maple 2018 of an algorithm to construct a partiсular hypergeometric solutions for inhomogeneous systems of linear differential, difference and q-difference equations with rational-function coefficients and hypergeometric right-hand sides.text/html2018-08-07T17:45:16+03:00annastart
http://www.ccas.ru/ca/start?rev=1533653116&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 proceduretext/html2018-05-20T12:15:09+03:00annalrs - [Source]
http://www.ccas.ru/ca/lrs?rev=1526807709&do=diff
The procedure HypergeometricSolution in the package LRS (Linear Recurrence Systems) is an implementation in Maple 2015 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/html2018-05-17T13:30:06+03:00annaresolvingsequence - [Source]
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/html2018-05-17T13:26:59+03:00annalqrs
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),