On the complexity of robust eventual inequality testing for C-finite functions
scientific article; zbMATH DE number 7930577
scientific article