Formal Algorithmic Elimination for Pdes

By Daniel Robertz

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.

• Format: Paperback
• Language: English
• ISBN: 3319114441
• ISBN13: 9783319114446
• Release Date: October 2014
• Publisher: Springer
• Length: 283 Pages
• Weight: 0.92 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"