Involution

The Formal Theory of Differential Equations and its Applications in Computer Algebra

  • Werner M. Seiler
Book

Part of the Algorithms and Computation in Mathematics book series (AACIM, volume 24)

Table of contents

  1. Front Matter
    Pages 1-18
    PDF
  2. Introduction
    Werner M. Seiler
    Pages 1-8
  3. Formal Geometry of Differential Equations
    Werner M. Seiler
    Pages 9-61
  4. Involution I: Algebraic Theory
    Werner M. Seiler
    Pages 63-104
  5. Completion to Involution
    Werner M. Seiler
    Pages 105-165
  6. Structure Analysis of Polynomial Modules
    Werner M. Seiler
    Pages 167-234
  7. Involution II: Homological Theory
    Werner M. Seiler
    Pages 235-262
  8. Involution III: Differential Theory
    Werner M. Seiler
    Pages 263-327
  9. The Size of the Formal Solution Space
    Werner M. Seiler
    Pages 329-355
  10. Existence and Uniqueness of Solutions
    Werner M. Seiler
    Pages 357-429
  11. Linear Differential Equations
    Werner M. Seiler
    Pages 431-507
  12. Miscellaneous
    Werner M. Seiler
    Pages 509-528
  13. Algebra
    Werner M. Seiler
    Pages 529-584
  14. Differential Geometry
    Werner M. Seiler
    Pages 585-616
  15. Back Matter
    Pages 1-34
    PDF

About this book

Keywords

Gröbner bases algebra calculus formal theory of differential equations geometry integrability involution overdetermined systems

Authors and affiliations

  • Werner M. Seiler
    • 1
  1. 1.FB 17 Mathematik und InformatikUniversität KasselKasselGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-01287-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-3-642-01286-0
  • Online ISBN 978-3-642-01287-7
  • Series Print ISSN 1431-1550
  • About this book