1. Antman, S.S.: Nonlinear Problems of Elasticity. Applied Mathematical Sciences, vol. 107. Springer-Verlag, Berlin (1995)
2. Bächler, T., Gerdt, V.P., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas decomposition of algebraic and differential systems. J. Symb. Comput. 47, 1233–1266 (2012)
3. Blinkov, Y.A., Cid, C.F., Gerdt, V.P., Plesken, W., Robertz, D.: The maple package Janet: II. linear partial differential equations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2003, pp. 41–54. Institut für Informatik, Technische Universität München, Garching (2003)
4. Carminati, J., Vu, K.: Symbolic computation and differential equations: Lie symmetries. J. Symb. Comput. 29, 95–116 (2000)
5. Fikhtengol’ts, G.M.: A Course of Differential and Integral Calculus [in Russian], vol. 3. Nauka, Moscow (1966)