Differentiably finite function: Difference between revisions

Content deleted Content added
Mm (talk | contribs)
def: analytic vs formal
m References have been added
Line 1:
{{Unreferenced|date=January 2012}}
In mathematics, a '''differentiably finite function''' of one variable, also referred to as a '''D‑finite''' or '''holonomic''' '''function''', is an [[analytic function]] which is a solution of a [[linear differential equation]] with polynomial coefficients. A '''differentiably finite''' (or D‑finite, or holonomic) '''power series''' is a [[formal power series]] that formally satisfies a linear differential equation with polynomial coefficients.