Rong Xiao

Affiliations:
  • University of Western Ontario, London, Ontario, Canada
  • Peking University, Beijing, China


According to our database1, Rong Xiao authored at least 8 papers between 2006 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries.
J. Symb. Comput., 2013

Triangular decomposition of semi-algebraic systems.
J. Symb. Comput., 2013

2012
On Solving Parametric Polynomial Systems.
Math. Comput. Sci., 2012

Generating Program Invariants via Interpolation
CoRR, 2012

Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences.
Proceedings of the Computer Mathematics, 2012

2011
Computing the real solutions of polynomial systems with the RegularChains library in Maple.
ACM Commun. Comput. Algebra, 2011

Computing with semi-algebraic sets represented by triangular decomposition.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2006
A Semi-Algebraic Approach for the Computation of Lyapunov Functions.
Proceedings of the Second IASTED International Conference on Computational Intelligence, 2006


  Loading...