LEADER 02536cam a2200385 i 4500 001 991002946179707536 006 m o d 007 cr cnu 008 160715s2014 sz a ob 001 0 eng d 020 $a9783319114453 035 $ab14258390-39ule_inst 040 $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng 082 04$a512.94$223 084 $aAMS 12H05 084 $aAMS 13P10 084 $aAMS 16S36 084 $aAMS 35-02 084 $aLC QA192.R62 100 1 $aRobertz, Daniel$0716368 245 10$aFormal algorithmic elimination for PDEs$h[e-book] /$cDaniel Robertz 260 $aCham [Switzerland] :$bSpringer,$c2014 300 $a1 online resource (viii, 283 pages) 440 0$aLecture notes in mathematics,$x1617-9692 ;$v2121 504 $aIncludes bibliographical references and index 505 0 $aIntroduction -- Formal Methods for PDE Systems -- Differential Elimination for Analytic Functions -- Basic Principles and Supplementary Material -- References -- List of Algorithms -- List of Examples -- Index of Notation -- Index 520 $aInvestigating the correspondence between systems of partial differential equations and their analytic solutions using a formal approach, this monograph presents algorithms to determine the set of analytic solutions of such a system and conversely to find differential equations whose set of solutions coincides with a given parametrized set of analytic functions. After giving a detailed introduction to Janet bases and Thomas decomposition, the problem of finding an implicit description of certain sets of analytic functions in terms of differential equations is addressed. Effective methods of varying generality are developed to solve the differential elimination problems that arise in this context. In particular, it is demonstrated how the symbolic solution of partial differential equations profits from the study of the implicitization problem. For instance, certain families of exact solutions of the Navier-Stokes equations can be computed 650 0$aDifferential equations, Partial 650 0$aElimination 776 08$aPrinted edition:$z9783319114446 856 40$uhttp://link.springer.com/chapter/10.1007/978-3-319-11445-3_2$zAn electronic book accessible through the World Wide Web 907 $a.b14258390$b03-03-22$c15-07-16 912 $a991002946179707536 996 $aFormal algorithmic elimination for PDEs$91388028 997 $aUNISALENTO 998 $ale013$b15-07-16$cm$d@ $e-$feng$gsz $h0$i0 LEADER 01536nas a2200337 i 4500 001 991002353049707536 005 20231114135309.0 008 070411m19631964it a b f000 0 ita d 035 $ab13514349-39ule_inst 040 $aDi.S.Te.B.A.$beng 110 1 $aItalia :$bComitato per la documentazione dell'opera dell'Italia in Africa$0423419 229 2$aL'Italia in Africa :$bserie scientifico-culturale 245 12$aL'Italia in Africa :$bserie scientifico-culturale /$cMinistero degli Affari Esteri, Comitato per la documentazione delle attivita italiane in Africa 260 $aRoma,$bIstituto poligrafico dello Stato,$c1963-1964 300 $axiii, 196 p. :$bill. ;$c25 cm 504 $aIncludes bibliographies 505 1 $tContributo dell'Italia alla conoscenza della nosografia dell'Africa / testo di Mario Girolami e Giuseppe Scotti 505 1 $tStudi italiani di etnografia e di folklore della Libia / testo di Ester Panetta 505 1 $tStoria della cartografia coloniale italiana / testo di Carlo Traversi 592 $aLE003 1963-1964. 650 0$aTropical medicine 700 1 $aGirolami, Mario 700 1 $aScotti, Giuseppe 710 2$aItalia :$bMinistero degli Affari Esteri 780 01$aL'$tItalia in Africa 907 $a.b13514349$b28-01-14$c11-04-07 912 $a991002353049707536 945 $aLE003 (Fondo SBM)$g1$lle003$o-$pE0.00$q-$rn$so$t18$u0$v0$w0$x0$y.i14427904$z18-04-07 996 $aItalia in Africa$9928218 997 $aUNISALENTO 998 $ale003$b11-04-07$cs$da$e-$fita$git$h2$i0