LEADER 03639nam 22005655 450 001 9910280950603321 005 20200704214452.0 010 $a3-319-71655-7 024 7 $a10.1007/978-3-319-71655-8 035 $a(CKB)4530000000000072 035 $a(MiAaPQ)EBC5341319 035 $a(DE-He213)978-3-319-71655-8 035 $a(PPN)226697150 035 $a(EXLCZ)994530000000000072 100 $a20180403d2017 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe Symbolic Computation of Integrability Structures for Partial Differential Equations /$fby Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (272 pages) 225 1 $aTexts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,$x0943-853X 311 $a3-319-71654-9 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- 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. 330 $aThis 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. 410 0$aTexts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,$x0943-853X 606 $aDifference equations 606 $aFunctional equations 606 $aComputer science?Mathematics 606 $aDifference and Functional Equations$3https://scigraph.springernature.com/ontologies/product-market-codes/M12031 606 $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 615 0$aDifference equations. 615 0$aFunctional equations. 615 0$aComputer science?Mathematics. 615 14$aDifference and Functional Equations. 615 24$aMath Applications in Computer Science. 615 24$aSymbolic and Algebraic Manipulation. 676 $a515.353 700 $aKrasil'shchik$b Joseph$4aut$4http://id.loc.gov/vocabulary/relators/aut$01062597 702 $aVerbovetsky$b Alexander$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aVitolo$b Raffaele$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910280950603321 996 $aThe Symbolic Computation of Integrability Structures for Partial Differential Equations$92526856 997 $aUNINA