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. The book comes “with batteries included” in the sense that it requires no background in computer algebra as the relevant facts from this area are summarized in the beginning. This makes the book accessible to a wide range of readers, from mathematics students who plan to work themselves on D-finite functions to researchers who want to apply the theory to their own work. Hundreds of exercises invite the reader to apply the techniques in the book and explore further aspects of the theory on their own. Solutions to all exercises are given in the appendix. When algorithms for D-finite functions came up in the early 1990s, computer proofs were met with a certain skepticism. Fortunately, these times are over and computer algebra has become a standard tool for many mathematicians. Yet, this powerful machinery is still not as widely known as it deserves. This book helps to spread the word that certain tasks can be safely delegated to a computer algebra system, and also what the limitations of these techniques are.

The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for (infinite) multiple sums, multiple integrals, in particular Feynman integrals, difference and differential equations in the format of survey articles. The presented techniques emerge from interdisciplinary fields: mathematics, computer science and theoretical physics; the articles are written by mathematicians and physicists with the goal that both groups can learn from the other field, including most recent developments. Besides that, the collection of articles also serves as an up-to-date handbook of available algorithms/software that are commonly used or might be useful in the fields of mathematics, physics or other sciences.

This text focuses on the theory of boundary value problems in partial differential equations, which plays a central role in various fields of pure and applied mathematics, theoretical physics, and engineering. Geared toward upper-level undergraduates and graduate students, it discusses a portion of the theory from a unifying point of view and provides a systematic and self-contained introduction to each branch of the applications it employs.

This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001. The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields.

The book first rigorously develops the theory of reproducing kernel Hilbert spaces. The authors then discuss the Pick problem of finding the function of smallest $Hinfty$ norm that has specified values at a finite number of points in the disk. Their viewpoint is to consider $Hinfty$ as the multiplier algebra of the Hardy space and to use Hilbert space techniques to solve the problem. This approach generalizes to a wide collection of spaces. The authors then consider theinterpolation problem in the space of bounded analytic functions on the bidisk and give a complete description of the solution. They then consider very general interpolation problems. The book includes developments of all the theory that is needed, including operator model theory, the Arveson extension theorem,and the hereditary functional calculus.