 Holonomic functions can also be described as differentiably finite functions, also known as D-finite functions.When a power series in the variables is the Taylor expansion of a holonomic function, the sequence of its coefficients, in one or several indices, is also called "holonomic".Holonomic sequences are also called P-recursive sequences