Table of Contents

Introduction.
Computational problems in the geometry of PDEs.
Old and new Reduce software for integrability of PDEs.
Internal coordinates and total derivatives.
Conservation laws and nonlocal variables.
Cosymmetries.
Symmetries.
The tangent covering.
Recursion operators for symmetries.
Variational symplectic structures.
Cotangent covering.
Variational Poisson structures.
Recursion operators for cosymmetries.
The Plebanski equation.
Discussion. This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers a huge number of situations through tutorials. The mathematical part of the book is a new approach to integrability structures that allows to treat all of them in a unified way. The software is an official package of Reduce. Reduce is free software, so everybody can download it and make experiments using the programs available at our website.