Formal Algorithmic Elimination for PDEs

• Κύριος συγγραφέας: Robertz, Daniel (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Σειρά: Lecture Notes in Mathematics, 2121
• Θέματα: 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...

Πίνακας περιεχομένων:

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