Projects: Jets – 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. (jointly with Hynek Baran)