ICASF (International Conference on Asymptotics and Special Functions)
Sprache des Tagungstitel:
Many special functions are solutions of linear differential equations and recurrences. Therefore they belong to the class of holonomic functions for which many computer algebra algorithms exist. We present recently developed software for dealing with special functions and show some applications thereof in different areas of mathematics. Our software HolonomicFunctions assists in proving identities which involve integrals and symbolic sums, and is able to compute relations of various forms for special functions. It also contributed to solve some notorious problems from combinatorics.
Sprache der Kurzfassung:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung