Book Volume 2121 2014

Formal Algorithmic Elimination for PDEs

Authors:

ISBN: 978-3-319-11444-6 (Print) 978-3-319-11445-3 (Online)

Table of contents (3 chapters)

  1. Front Matter

    Pages i-viii

  2. No Access

    Chapter

    Pages 1-4

    Introduction

  3. No Access

    Chapter

    Pages 5-117

    Formal Methods for PDE Systems

  4. No Access

    Chapter

    Pages 119-231

    Differential Elimination for Analytic Functions

  5. Back Matter

    Pages 233-285