Rizeng Chen

According to our database, Rizeng Chen authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Isolating all the real roots of a mixed trigonometric-polynomial.

Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng

J. Symb. Comput., March, 2024

Reduction of Transcendental Decision Problems over the Reals.

Rizeng Chen, Bican Xia

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

2023

Geometric Fiber Classification of Morphisms and a Geometric Approach to Cylindrical Algebraic Decomposition.

Rizeng Chen

CoRR, 2023

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

Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng

CoRR, 2023

Deciding first-order formulas involving univariate mixed trigonometric-polynomials.

Rizeng Chen, Bican Xia

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023