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

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Robertz, Daniel. (Author, http://id.loc.gov/vocabulary/relators/aut)
מחבר תאגידי: SpringerLink (Online service)
פורמט: אלקטרוני ספר אלקטרוני
שפה:English
יצא לאור: Cham : Springer International Publishing : Imprint: Springer, 2014.
מהדורה:1st ed. 2014.
סדרה:Lecture Notes in Mathematics, 2121
נושאים:
גישה מקוונת:https://doi.org/10.1007/978-3-319-11445-3
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תוכן הענינים:
  • 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.