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

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Hovedforfatter: Robertz, Daniel. (Author, http://id.loc.gov/vocabulary/relators/aut)
Institution som forfatter: SpringerLink (Online service)
Format: Electronisk eBog
Sprog:English
Udgivet: Cham : Springer International Publishing : Imprint: Springer, 2014.
Udgivelse:1st ed. 2014.
Serier:Lecture Notes in Mathematics, 2121
Fag:
Online adgang:https://doi.org/10.1007/978-3-319-11445-3
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Indholdsfortegnelse:
  • 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.