Deciding first-order formulas involving univariate mixed trigonometric-polynomials

Published in International Symposium on Symbolic and Algebraic Computation, 2023

Recommended citation: Chen, R., & Xia, B. (2023, July). Deciding first-order formulas involving univariate mixed trigonometric-polynomials. In Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (pp. 145-154).