1 citations · 2 across the 4 of their papers we have counts for
4 papers
Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems
Zhihai Zhang, Tian Fang, Bican Xia
Existing algorithms for isolating real solutions of zero-dimensional polynomial systems do not compute the multiplicities of the solutions. In this paper, we define in a natural wa…
Termination of Linear Programs with Nonlinear Constraints
Bican Xia, Zhihai Zhang
Tiwari proved that termination of linear programs (loops with linear loop conditions and updates) over the reals is decidable through Jordan forms and eigenvectors computation. Bra…
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
Changbo Chen, Marc Moreno Maza, Bican Xia +1
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches…
Solution to the Generalized Champagne Problem on Simultaneous Stabilization of Linear Systems
Qiang Guan, Long Wang, Bican Xia +3
The well-known "Generalized Champagne Problem" on simultaneous stabilization of linear systems is solved by using complex analysis \cite{A73,C78,G69,N52,R87} and Blondel's techniqu…