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. (مؤلف, 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.