A comparison of algorithms for proving positivity of linearly recurrent sequences
scientific article; zbMATH DE number 7635703
scientific article