Rizeng Chen

According to our database, Rizeng Chen authored at least 4 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

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