D-Finite Functions
āđāļāļĩāđāļĒāļ§āļāļąāļ eBook āđāļĨāđāļĄāļāļĩāđ
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.
āđāļāļĩāđāļĒāļ§āļāļąāļāļāļđāđāđāļāđāļ
Manuel Kauers studied computer science in Karlsruhe, Germany, from 1998 to 2002 and then went to Linz, Austria, where he received his Ph.D. in symbolic computation in 2005. He won a START prize in 2009. Since 2015 he is director of the Institute for Algebra at Johannes Kepler University in Linz. Kauers is an active member of the computer algebra community and has been contributing to the design, implementation, and application of algorithms for D-finite functions for many years. Together with Christoph Koutschan and Doron Zeilberger, he proved two outstanding conjectures in enumerative combinatorics using such algorithms. For one of these results, the proof of the qTSPP-conjecture, they received the AMS David P. Robbins prize in 2016.
