An algorithm for deciding zero equivalence of nested polynomially recurrent sequences

Manuel Kauers. An algorithm for deciding zero equivalence of nested polynomially recurrent sequences. ACM Transactions on Algorithms, 3(2):18, 2007. [doi]

Abstract

Abstract is missing.