On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions

Eike Neumann

We study the computational complexity of a robust version of the problem of testing two univariate C-finite functions for eventual inequality at large times. Specifically, working…