We discuss how to decide whether a given C-finite sequence can be written nontrivially as a product of two other C-finite sequences.
['Manuel Kauers', 'Doron Zeilberger']
Factorization of C-finite Sequences