Rong Xiao

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Quasi Invariant

Information Systems

Imperative Programs

Top Venues

J. Symb. Comput.

Math. Comput. Sci.

Publications

Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput. 52 (2013)
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49 (2013)
Marc Moreno Maza, Bican Xia, Rong Xiao
On Solving Parametric Polynomial Systems. Math. Comput. Sci. 6 (4) (2012)
Marc Moreno Maza, Rong Xiao
Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences. ASCM (2012)
Marc Moreno Maza, Rong Xiao
Generating Program Invariants via Interpolation CoRR (2012)
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
Computing with semi-algebraic sets represented by triangular decomposition. ISSAC (2011)
Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra 45 (3/4) (2011)
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
Triangular decomposition of semi-algebraic systems. ISSAC (2010)
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
Triangular Decomposition of Semi-algebraic Systems CoRR (2010)
Zhikun She, Bican Xia, Rong Xiao
A Semi-Algebraic Approach for the Computation of Lyapunov Functions. Computational Intelligence (2006)