I am interested in collections of ‘interesting’ problems involving limits and/or asymptotic expansions of univariate real-valued functions. The purpose is to test a particular algorithm that I implemented in a theorem prover. Problems that are typically considered ‘difficult’ for computer algebra systems would be particularly interesting.
Dominik Gruntz's thesis contains a few problems like that, but I'd like to have more. Is there a collection like this? Perhaps something in the context of a particular computer algebra system, e.g. for regression tests?
