A Semi-Algebraic Approach for the Computation of Lyapunov Functions. - Zhikun She; Bican Xia; Rong Xiao 004 (Computational Intelligence, 2006)

Computing with semi-algebraic sets represented by triangular decomposition. - Changbo Chen; James H. Davenport; Marc Moreno Maza; Bican Xia; Rong Xiao 004 (ISSAC, 2011)

Computing the real solutions of polynomial systems with the RegularChains library in Maple. - Changbo Chen; James H. Davenport; François Lemaire; Marc Moreno Maza; Bican Xia; Rong Xiao 004; Yuzhen Xie (ACM Commun. Comput. Algebra, 2011)

Degree and Dimension Estimates for Invariant Ideals of (P ) -Solvable Recurrences. - Marc Moreno Maza; Rong Xiao 004 (ASCM, 2012)

Generating Program Invariants via Interpolation - Marc Moreno Maza; Rong Xiao 004 (CoRR, 2012)

On Solving Parametric Polynomial Systems. - Marc Moreno Maza; Bican Xia; Rong Xiao 004 (Math. Comput. Sci., 2012)

Triangular decomposition of semi-algebraic systems. - Changbo Chen; James H. Davenport; John P. May; Marc Moreno Maza; Bican Xia; Rong Xiao 004 (J. Symb. Comput., 2013)

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. - Changbo Chen; James H. Davenport; Marc Moreno Maza; Bican Xia; Rong Xiao 004 (J. Symb. Comput., 2013)