Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao. Triangular decomposition of semi-algebraic systems. Journal of Symbolic Computation, 49:3-26, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.