Computer Algebra Group

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

* Slode package

* LinearRecurrenceSystem package

* LinearQRecurrenceSystem package

* ResolvingSequence procedure

* FormalSolution procedure

* Extract procedure

* Satellite package

The page is still under construction.

Additionally you may visit Sergey Abramov's page, who is the group's chief.