1 citations · 2 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.AG2023★ 1 cited
A Geometric Approach to Cylindrical Algebraic Decomposition
Rizeng Chen
Cylindrical algebraic decomposition is a classical construction in real algebraic geometry. Although there are many algorithms to compute a cylindrical algebraic decomposition, the…
cs.SC2023★ 1 cited
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
Rizeng Chen, Haokun Li, Bican Xia +2
Mixed trigonometric-polynomials (MTPs) are functions of the form with . In this paper, an algorithm ``isolating" all the real r…