Padovan polynomials
In mathematics, Padovan polynomials are a generalization of Padovan sequence numbers. These polynomials are defined by:
The first few Padovan polynomials are:
The Padovan numbers are recovered by evaluating the polynomials Pn-3 at x = 1.
Evaluating Pn-3 at x = 2 gives the nth Fibonacci number plus n.
The ordinary generating function for the sequence is
