Bican Xia
Author
Alternate names Bican Xia, B. C. XIA, Xia Bican, B. Xia, Baishu Xia
Institution Shenyang Jianzhu University
Past institutions Shenyang Jianzhu University, Peking University, King University, Max Planck Institute for Informatics, Max Planck Society +1 more
ORCID: Yes
H-index: 22
I10-index: 36
Works count: 129
Citations count: 1,454
A complete algorithm for automated discovering of a class of inequality-type theorems
2001 · Yang Lu, Xiaorong Hou, et al. · Science in China Series F Information Sciences
Computing cylindrical algebraic decomposition via triangular decomposition
2009 · Changbo Chen, Marc Moreno Maza, et al.
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
2002 · Bican Xia, Yang Lu · Journal of Symbolic Computation