Philipp Nuspl, Veronika Elisabeth Pillwein,
"A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences"
, in Boulier, Francois and England, Matthew and Sadykov, Timur M. and Vorozhtsov, Evgenii V.: Computer Algebra in Scientific Computing, Serie LNCS, Vol. 13366, Springer International Publishing, Seite(n) 268--287, 2022, ISBN: 978-3-031-14788-3
Original Titel:
A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences