"Computer algebra algorithms for linear ODE and difference equs. (ECM)" - читать интересную книгу автора (Bronstein.)