Extending the holonomic universe DD-finite functions and Automated identities proofs

Beschreibung

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.

Zeitraum	08 Mai 2018
Ereignistitel	Bringing Young Mathematicians Together (BYMAT'18)
Veranstaltungstyp	Konferenz
Ort	SpanienAuf Karte anzeigen