Comparison of CAD-based Methods for Computation of Rational Function Limits
Adam Strzeboński · 2018
We present five methods for computation of limits of real multivariate rational functions. The methods do not require any assumptions about the rational function and compute the lower limit and the upper limit. All methods are based on the cylindrical algebraic decomposition (CAD) algorithm, but use different formulations of the problem. We give an empirical comparison of the methods on a large set of examples.