Isolating all the real roots of a mixed trigonometric-polynomial

Published in Journal of Symbolic Computation, 2024

Recommended citation: Chen, R., Li, H., Xia, B., Zhao, T., & Zheng, T. (2024). Isolating all the real roots of a mixed trigonometric-polynomial. Journal of Symbolic Computation, 121, 102250.