P-recursive equation

A P-recursive equation (also known as a polynomially recursive equation) is a type of recurrence relation that can be defined by polynomial expressions.