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)