activity
20182025
most citedIsolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial

1 citations · 1 across the 8 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.SC2021

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure

Haokun Li, Bican Xia, Huiying Zhang +1

Cylindrical algebraic decomposition (CAD) plays an important role in the field of real algebraic geometry and many other areas. As is well-known, the choice of variable ordering wh…