DK Report 2022-03, P. Nuspl, V. Pillwein
A comparison of algorithms for proving positivity of linearly recurrent sequences
dkreport22_03.pdf — PDF document, 646 KB (661642 bytes)