Formal Algorithmic Elimination for PDEs

• Main Author: Robertz, Daniel (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Series: Lecture Notes in Mathematics, 2121
• Subjects: Mathematics.; Associative rings.; Rings (Algebra).; Commutative algebra.; Commutative rings.; Algebra.; Field theory (Physics).; Partial differential equations.; Field Theory and Polynomials.; Commutative Rings and Algebras.; Associative Rings and Algebras.; Partial Differential Equations.

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

Table of Contents:

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