Jets: A software for differential calculus on jet spaces and diffieties
Jets is a set of Maple procedures for routine computations on jet spaces and diffieties. Emphasis is laid on solution of equations in total derivatives, linear and nonlinear, such as those determining infinitesimal symmetries, generating functions of conservation laws, zero-curvature representations, etc. Thus, Jets is a tool to compute symmetries, conservation laws, zero-curvature representations, recursion operators, and many other invariants of systems of partial differential equations.
Jets implements the algorithms described in M. Marvan, Sufficient set of integrability conditions of an orthonomic system, Found. Comput. Math. 9 (2009) 651-674, arXiv:nlin/0605009
The home page of Jets is http://jets.math.slu.cz