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…