RISC JKU
  • @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}
    }