Formal Algorithmic Elimination for PDEs

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

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Robertz, Daniel. (Awdur, http://id.loc.gov/vocabulary/relators/aut)
Awdur Corfforaethol: SpringerLink (Online service)
Fformat: Electronig eLyfr
Iaith:English
Cyhoeddwyd: Cham : Springer International Publishing : Imprint: Springer, 2014.
Rhifyn:1st ed. 2014.
Cyfres:Lecture Notes in Mathematics, 2121
Pynciau:
Mynediad Ar-lein:https://doi.org/10.1007/978-3-319-11445-3
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Tabl Cynhwysion:
  • Introduction
  • 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.