Manuel Kauers Livres

Focusing on D-finite functions, this comprehensive introduction covers their significance in mathematics, particularly in relation to linear differential and difference equations with polynomial coefficients. It emphasizes computer algebra algorithms, detailing methods for detecting relations, evaluating functions, and executing closure properties. The book also explores techniques for obtaining explicit expressions, factoring operators, and performing both definite and indefinite symbolic summation and integration, making it a valuable resource for those interested in computational aspects of D-finite functions.