Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra (Algorithms and Computation in Mathematics Book 24) | lit.salon