Padovan sequence (source code)

= Padovan sequence
{wiki=Padovan_sequence}

The Padovan sequence is a sequence of numbers defined by a specific recurrence relation.