Isolating all the real roots of a mixed trigonometric-polynomial

Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng. Isolating all the real roots of a mixed trigonometric-polynomial. Journal of Symbolic Computation, 121:102250, March 2024. [doi]

Authors

Rizeng Chen

This author has not been identified. Look up 'Rizeng Chen' in Google

Haokun Li

This author has not been identified. Look up 'Haokun Li' in Google

Bican Xia

This author has not been identified. Look up 'Bican Xia' in Google

Tianqi Zhao

This author has not been identified. Look up 'Tianqi Zhao' in Google

Tao Zheng

This author has not been identified. Look up 'Tao Zheng' in Google