Bican Xia
发表
Lu Yang,
Bican Xia,
1997
.
Bican Xia,
Haokun Li,
2019
.
Marc Moreno Maza,
Bican Xia,
M. M. Maza,
2011
.
A complete algorithm for counting real solutions of polynomial systems of equations and inequalities
Bican Xia,
Xiaorong Hou,
Bican Xia,
2002
.
Bican Xia,
Lu Yang,
Lu Yang,
2016
.
Bican Xia,
Jie Wang,
Haokun Li,
2018,
1809.10848.
Bican Xia,
Liyun Dai,
2015,
Journal of Global Optimization.
Bican Xia,
L. Yang,
2016
.
Bican Xia,
Yu Wang,
2019,
Journal of Systems Science and Complexity.
Sergiy Bogomolov,
Bai Xue,
Martin Fränzle,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Joost-Pieter Katoen,
Bican Xia,
Naijun Zhan,
2018,
CAV.
Bican Xia,
Naijun Zhan,
Lijun Zhang,
2017,
ATVA.
Liyun Dai,
Bican Xia,
Bican Xia,
2012,
J. Syst. Sci. Complex..
Bican Xia,
Zhihai Zhang,
Tian Fang,
2009,
Science China Information Sciences.
Ting Zhang,
Bican Xia,
Bican Xia,
2007,
Math. Comput. Sci..
Bai Xue,
Zhikun She,
Bican Xia,
2013,
J. Symb. Comput..
Zhikun She,
Bican Xia,
Bican Xia,
2009
.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2010,
J. Symb. Comput..
Bican Xia,
Bican Xia,
2007,
ACCA.
Zhikun She,
Bican Xia,
Rong Xiao,
2006,
Computational Intelligence.
Long Wang,
Zhenbing Zeng,
Wensheng Yu,
2006,
Science in China Series F: Information Sciences.
Bican Xia,
Lu Yang,
Xiaorong Hou,
2001,
Science in China Series F Information Sciences.
Bican Xia,
Lu Yang,
Naijun Zhan,
2008,
ISoLA.
Liyun Dai,
Bican Xia,
Bican Xia,
2014,
J. Glob. Optim..
Liyun Dai,
Bican Xia,
Naijun Zhan,
2013,
CAV.
Bican Xia,
Lu Yang,
Lu Yang,
2004
.
Zhikun She,
Bican Xia,
Zhiming Zheng,
2011,
J. Comput. Appl. Math..
Ting Zhang,
Bican Xia,
Bican Xia,
2006,
Comput. Math. Appl..
Bican Xia,
Lu Yang,
Lu Yang,
2002,
J. Symb. Comput..
Changbo Chen,
Marc Moreno Maza,
Bican Xia,
2009,
ISSAC '09.
Chaochen Zhou,
Yinghua Chen,
Bican Xia,
2007,
ICTAC.
Chaochen Zhou,
Bican Xia,
Lu Yang,
2005,
VSTTE.
Marc Moreno Maza,
Rong Xiao,
Bican Xia,
2012,
Mathematics in Computer Science.
Bican Xia,
Zhenghong Chen,
Xiaoxian Tang,
2014,
ICMS.
Bican Xia,
Hoon Hong,
Xiaoxian Tang,
2013,
J. Symb. Comput..
Bican Xia,
Lu Yang,
Lu Yang,
2013,
ArXiv.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2013,
J. Symb. Comput..
Bican Xia,
Zhenghong Chen,
Xiaoxian Tang,
2013,
J. Syst. Sci. Complex..
Bican Xia,
Marc Moreno Maza,
Rong Xiao,
2012,
Mathematics in Computer Science.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2012,
ACCA.
Bican Xia,
Xiaoxian Tang,
Xiaoxian Tang,
2011,
ArXiv.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2011,
ISSAC '11.
Changbo Chen,
Marc Moreno Maza,
James H. Davenport,
2011
.
Bican Xia,
Lu Yang,
Xiaorong Hou,
2000,
Lecture Notes in Computer Science.
Bican Xia,
Lu Yang,
Lu Yang,
2005,
Algorithmic Algebra and Logic.
Bican Xia,
Zhikun She,
Zhiming Zheng,
2009
.
Bican Xia,
Jingjun Han,
Zhi Jin,
2012,
J. Symb. Comput..
Liyun Dai,
Deepak Kapur,
Bican Xia,
2016,
IJCAR.
Bican Xia,
Haokun Li,
Bican Xia,
2018,
SCIENTIA SINICA Mathematica.
Bican Xia,
Haokun Li,
Tianqi Zhao,
2022,
ArXiv.
Dongming Wang,
Bican Xia,
Dongming Wang,
2005,
ISSAC.
Bican Xia,
Dongming Wang,
Dongming Wang,
2005
.
Bican Xia,
Jie Wang,
Haokun Li,
2018,
ISSAC.
N. Zhan,
Bican Xia,
Bai Xue,
2019,
CAV.
Kim G. Larsen,
Liyun Dai,
Bican Xia,
2018,
ArXiv.
Yu Wang,
Bican Xia,
Bican Xia,
2019,
J. Syst. Sci. Complex..
Fei Shen,
Wenyuan Wu,
Bican Xia,
2012,
ASCM.
Wenyuan Wu,
Yu Wang,
Bican Xia,
2017,
CASC.
Liyun Dai,
Bican Xia,
Naijun Zhan,
2013,
J. Symb. Comput..
Xiaoxian Tang,
Bican Xia,
Zhenghong Chen,
2015,
Journal of Systems Science and Complexity.
Bican Xia,
Zhenghong Chen,
Xiaoxian Tang,
2012,
Science China Information Sciences.