"Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra (Algorithms and Computation in Mathematics, Vol. 24)" - читать интересную книгу автора (Werner M. Seiler)