15 citations · 52 across the 35 of their papers we have counts for
1 paper · 2 filters
Haokun Li, Bican Xia, Tianqi Zhao
Triangular decomposition with different properties has been used for various types of problem solving, e.g. geometry theorem proving, real solution isolation of zero-dimensional po…