Rizeng Chen

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Logical Formulas

Decision Problems

Basis Functions

Top Venues

J. Symb. Comput.

Publications

Rizeng Chen, Bican Xia
Reduction of Transcendental Decision Problems over the Reals. ISSAC (2024)
Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng
Isolating all the real roots of a mixed trigonometric-polynomial. J. Symb. Comput. 121 (2024)
Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial. CoRR (2023)
Rizeng Chen, Bican Xia
Deciding first-order formulas involving univariate mixed trigonometric-polynomials. ISSAC (2023)
Rizeng Chen
Geometric Fiber Classification of Morphisms and a Geometric Approach to Cylindrical Algebraic Decomposition. CoRR (2023)