Antonio Jimenez Pastor, Veronika Pillwein,
"A Computable Extension for Holonomic Functions: DD-Finite Functions"
, in Journal of Symbolic Computation, Vol. 94, Seite(n) 90-104, 9-2019, ISSN: 1095-855X
Original Titel:
A Computable Extension for Holonomic Functions: DD-Finite Functions
Sprache des Titels:
Englisch
Original Kurzfassung:
Differentiably finite (D-finite) formal power series form a large class of useful functions for which a variety of symbolic algorithms exists. Among these methods are several closure properties that can be carried out automatically. We introduce a natural extension of these functions to a larger class of computable objects for which we prove closure properties. These are again algorithmic. This extension can be iterated constructively preserving the closure properties.