Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial

Rizeng Chen, Haokun Li, Bican Xia +2

Mixed trigonometric-polynomials (MTPs) are functions of the form $f(x,\sin x,\cos x)$ with $f\in \mathbb{Q}[x_1,x_2,x_3]$. In this paper, an algorithm ``isolating" all the real r…