Deciding first-order formulas involving univariate mixed trigonometric-polynomials. - Rizeng Chen; Bican Xia (ISSAC, 2023)

Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial. - Rizeng Chen; Haokun Li; Bican Xia; Tianqi Zhao; Tao Zheng (CoRR, 2023)

Geometric Fiber Classification of Morphisms and a Geometric Approach to Cylindrical Algebraic Decomposition. - Rizeng Chen (CoRR, 2023)

Reduction of Transcendental Decision Problems over the Reals. - Rizeng Chen; Bican Xia (ISSAC, 2024)

Isolating all the real roots of a mixed trigonometric-polynomial. - Rizeng Chen; Haokun Li; Bican Xia; Tianqi Zhao; Tao Zheng (J. Symb. Comput., 2024)

The Geometry of Cylindrical Algebraic Decomposition. - Rizeng Chen (ACM Commun. Comput. Algebra, 2024)

What Kind of Morphisms Induces Covering Maps over a Real Closed Field? - Rizeng Chen (CoRR, 2025)