Explicit Finite

Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in various areas of mathematics. This book is a comprehensive introduction to the theory of these functions with a special emphasis on computer algebra algorithms for computing with them: algorithms for detecting relations from given data, for evaluating D-finite functions, for executing closure properties, for obtaining various kinds of “explicit” expressions, for factoring operators, and for definite and indefinite symbolic summation and integration are explained in detail.

An up-to-date, one-stop reference-complete with applications
This volume presents the most up-to-date information available on a posteriori error estimation for finite element approximation in mechanics and mathematics. It emphasizes methods for elliptic boundary value problems and includes applications to incompressible flow and nonlinear problems.