Reduction of Transcendental Decision Problems over the Reals

Published in International Symposium on Symbolic and Algebraic Computation, 2024

Recommended citation: Chen, R., & Xia, B. (2024, July). Reduction of Transcendental Decision Problems over the Reals. In Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation (pp. 56-64).