Extending the holonomic universe DD-finite functions and Automated identities proofs
Sprache des Vortragstitels:
Bringing Young Mathematicians Together (BYMAT'18)
Sprache des Tagungstitel:
Contributed talk to BYMAT conference. Holonomic functions (formal power series satisfying linear differential equations with polynomial coefficients) have been studied from an algorithmic per- spective since last century. Several algorithms exist already to compute symbolically with them. This talk present an extension of that class of functions (DD-finite func- tions) and their algorithms and how this approach can help proving (automatically) some identities for special functions.