A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences.

Philipp Nuspl, Veronika Pillwein

Browse the full CASC paper archive.