Philipp Nuspl, Veronika 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 Lecture Notes in Computer Science (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
Forschungs-