Showing cs.SCShow all
3 papers · 1 filter
cs.SC2022
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems
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…
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…
cs.SC2018
Block SOS Decomposition
Haokun Li, Bican Xia
A widely used method for solving SOS (Sum Of Squares) decomposition problem is to reduce it to the problem of semi-definite programs (SDPs) which can be efficiently solved in theor…