Kauers M. D-Finite Functions 2023