Involution the formal theory of differential equations and its applications in computer algebra / [electronic resource] :
by Werner M. Seiler.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
- xxii, 650 p. : ill. (some col.), digital ; 24 cm.
- Algorithms and computation in mathematics, v.24 1431-1550 ; .