Antonio Jimenez Pastor, Veronika Elisabeth Pillwein,
"A Computable Extension for Holonomic Functions: DD-Finite Functions"
, in Journal of Symbolic Computation, Vol. 94, Seite(n) 90--104, 9-2019, ISSN: 0747-7171
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.