@inproceedings{RISC6616,author = {P. Nuspl and V. Pillwein},
title = {{A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences}},
booktitle = {{Computer Algebra in Scientific Computing}},
language = {english},
series = {LNCS},
volume = {13366},
pages = {268--287},
publisher = {Springer International Publishing},
isbn_issn = {ISBN: 978-3-031-14788-3},
year = {2022},
editor = {Boulier and Francois and England and Matthew and Sadykov and Timur M. and Vorozhtsov and Evgenii V.},
refereed = {yes},
length = {20},
conferencename = {CASC 2022}
}