 Holonomic function

A **holonomic function** is a function that satisfies a linear ordinary differential equation with polynomial coefficients.