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.

Autorentext

Joseph Krasil'shchik is a principal researcher at the Institute of Control Sciences of Russian Academy of Sciences and a full professor at the Independent University of Moscow.

Alexander Verbovetsky is a lecturer at the Independent University of Moscow.

Raffaele Vitolo is an associate professor in mathematical physics at the Department of Mathematics and Physics 'E. De Giorgi' of the Università del Salento.

Inhalt
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.