\begin{definition}[Definition:Linearly Recurrent Sequence]
A '''linearly recurrent sequence''' is a sequence which can be defined by a recurrence relation of the form:
:$a_n = c_1 a_{n - 1} + c_2 a_{n - 2} + \cdots + c_m a_{n - m}$
with appropriate initial values for $a_1, a_2, \ldots, a_{n - 1}$.
\end{definition}