Triangular Decomposition for Algebraic and Geometric Computing | IEEE Conference Publication | IEEE Xplore