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