Factorization of C-finite Sequences

Manuel Kauers and Doron Zeilberger


First Posted: Jan. 11, 2016; This version: Dec. 7, 2016.

Appeared in Advances in Computer Algebra, In Honour of Sergei Abramov's 70th Birthday, edited by C.Schneider, E.Zima, Springer.

Every fool can multiply two large integers, but only wise machines can factorize. Ditto for C-finite sequences. Here we develop an algoirthm that does factorization in the so-called C-finite ansatz, and that could have been useful to such physical giants as Lars Onsager and P.W. Kastleleyn. Who knows? Maybe it would be useful to a future physical giant?

Mathematica Package

Maple Packages

Some Input and Output files for the Maple package ALG.txt

Doron Zeilberger's Articles Manuel Kauers Articles

Doron Zeilberger's Home Page