Search our site
Persons Unknown by Susie Steiner Read the opening extract of the brand new Susie Steiner book before its publication on 05/04/2018

Involution The Formal Theory of Differential Equations and its Applications in Computer Algebra by Werner M. Seiler

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

Part of the Algorithms and Computation in Mathematics Series


Involution The Formal Theory of Differential Equations and its Applications in Computer Algebra by Werner M. Seiler

As long as algebra and geometry proceeded along separate paths, their advance was slow and their applications limited. But when these sciences joined company they drew from each other fresh vitality and thenceforward marched on at rapid pace towards perfection Joseph L. Lagrange The theory of differential equations is one of the largest elds within mathematics and probably most graduates in mathematics have attended at least one course on differentialequations. But differentialequationsare also offundamentalimportance in most applied sciences; whenever a continuous process is modelled mathem- ically, chances are high that differential equations appear. So it does not surprise that many textbooks exist on both ordinary and partial differential equations. But the huge majority of these books makes an implicit assumption on the structure of the equations: either one deals with scalar equations or with normal systems, i. e. with systems in Cauchy-Kovalevskaya form. The main topic of this book is what happens, if this popular assumption is dropped. This is not just an academic exercise; non-normal systems are ubiquitous in - plications. Classical examples include the incompressible Navier-Stokes equations of uid dynamics, Maxwell's equations of electrodynamics, the Yang-Mills eq- tions of the fundamental gauge theories in modern particle physics or Einstein's equations of general relativity. But also the simulation and control of multibody systems, electrical circuits or chemical reactions lead to non-normal systems of - dinary differential equations, often called differential algebraic equations. In fact, most of the differentialequationsnowadaysencounteredby engineersand scientists are probably not normal.


From the reviews:

The first book that provides a self-contained treatment of constructive and algorithmic ideas and methods in FTDE ... . the book Involution is unique, self-contained ... complete and, in addition, well-written with numerous instructive examples and comprehensive bibliography devoted to the constructive differential-geometric and computer-algebraic aspects of involutivity analysis of differential and polynomial equations and their applications. It can be recommended to researchers, postgraduate and advanced graduate students. (Vladimir P. Gerdt, Computeralgebra-Rundbrief, October, 2010)

This book deals with the formal theory of general ... systems of differential equations. ... starts with an introduction to a geometric approach to differential equations via the jet bundle formalism. ... this is a very interesting book with many instructive examples and strong emphasis placed on a constructive approach leading to effective algorithms. It is well written, so it is suitable for and recommended to anyone who is interested in computer-algebraic aspects of involutivity analysis of differential and polynomial equations and their applications. (Lech Slawik, Mathematical Reviews, Issue 2011 h)

The book targets the mathematically mature reader who can handle the frequent jumps between geometric and algebraic approaches. It is written at the postgraduate level ... . Seiler strikes a good balance between theory, algorithms, and applications. ... Seiler's book hopes to bridge two research communities: one of differential geometers concerned with the formal analysis of differential equations, the other of (computer) algebraists interested in computations with polynomial modules. (Willy Hereman, SIAM Review, Vol. 53 (3), 2011)

About the Author

W.M. Seiler is professor for computational mathematics (algorithmic algebra) at Kassel University. His research fields include differential equations, commutative algebra and mechanics. He is particularly interested in combining geometric and algebraic approaches. For many years, he has been an external developer for the computer algebra system MuPAD.

More books by this author
Author 'Like for Like' recommendations

Loading other formats...

Book Info

Publication date

25th February 2012


Werner M. Seiler

More books by Werner M. Seiler
Author 'Like for Like'


Springer-Verlag Berlin and Heidelberg GmbH & Co. K an imprint of Springer-Verlag Berlin and Heidelberg GmbH & Co. KG


650 pages


Differential calculus & equations
Differential calculus & equations
Mathematical physics
Maths for computer scientists



It's the first site that I visit when deciding on the next set of books to buy. A particular treat is being able to download an extract.

Tessa Olson

Lovereading is an amazing place to be, the website is wonderful and to me if I'm sad I'll go here and it cheers me up!

Sophia Upton

Lovereading has all the new books and also suggestions for 'similar' authors whilst waiting for your favourites new books.

Carol Peace

Lovereading is pitched at just the right level for all the various types of people who enjoy reading in its many forms.

Pam Woodburn

They are bright, breezy and eager to offer a great book, then genuinely listen/respect the review one writes.

Maggie Crane

I love the honest opinions, recommendations for every genre and every reader, wish lists and Like for Like.

Amrita Dasgupta

At Lovereading there are fabulous books available in every genre, with great reviews to help you pick the right book for you.

Teresa O'Halloran

Love books. Love reading. Love reading books. And, here's the trick. Here's a website which caters for people like me.

Ian Harvey-brown