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

  • Antonio Jimenez Pastor (Speaker)

Activity: Talk or presentation › Contributed talk › science-to-science

Description

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.
Period08 May 2018
Event titleBringing Young Mathematicians Together (BYMAT'18)
Event typeConference
LocationSpainShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links