夏壁灿 (Bican Xia)

English Version

Google Scholar

主要论著

论著 下载链接
59. L. Dai and B. Xia: Smaller SDP for SOS Decomposition.  arXiv:1407.2679v2 [math.OC]  
58. Z. Chen, X. Tang and B. Xia: Hierarchical Comprehensive Triangular Decomposition. In: Mathematical Software – ICMS 2014, LNCS 8592, 2014, pp 434-441.  arXiv:1406.0599v1 [cs.SC] pdf
57. J. Han, L. Dai and B. Xia: Constructing Fewer Open Cells by GCD Computation in CAD Projection. In: Proc. ISSAC 2014, 240--247, ACM Press, 2014. arXiv:1401.4953v1. pdf
56. H. Hong, X. Tang and B. Xia: Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems. arXiv:1312.1780 pdf
55. L. Dai, T. Gan, B. Xia and N. Zhan: Barrier Certificates Revisited. arXiv:1310.6481 pdf
54. Z. She, H. Li, B. Xue, Z. Zheng and B. Xia: Discovering polynomial Lyapunov functions for continuous dynamical systems. Journal of Symbolic Computation, Vol.58: 41--63, 2013.
pdf
53. Z. Chen, X. Tang and B. Xia: Generic regular decompositions for parametric polynomial systems. arXiv:1301.3991v1. To appear in Journal of Systems Science and Complexity pdf
52. L. Dai, B. Xia and N. Zhan: Generating non-linear interpolants by semi-definite programming. In: N. Sharygina and H. Veith (Eds.): CAV 2013, LNCS 8044, pp. 364--380, Springer, Heidelberg (2013).
.
pdf

51. C. Chen, J. Davenport, M. Moreno Maza, B. Xia and R. Xiao: Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. Journal of Symbolic Computation, Vol. 52: 72--96, 2013.

pdf
50. C. Chen, J. Davenport, J. P. May, M. Moreno Maza, B. Xia and R. Xiao: Triangular decomposition of semi-algebraic systems. Journal of Symbolic Computation, vol. 49: 3--26, 2012. pdf
49. Liyun Dai and Bican Xia: logcf: An Efficient Tool for Real Root Isolation. arXiv:1209.3555 [cs.SC] pdf
48. Xiaoxian Tang, Zhenghong Chen, Bican Xia: Generic Regular Decompositions for Generic Zero-Dimensional Systems. arXiv:1208.6112v3 [cs.SC]. Science China: Information Sciences, vol. 57, No. 9, 1--14, 2014. pdf
47. Jingjun Han, Zhi Jin and Bican Xia: Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection. arXiv:1205.1223v4 [cs.SC]
pdf
46. Fei Shen, Wenyuan Wu and Bican Xia: Real Root Isolation of Polynomial Equations Based on Hybrid Computation. arXiv:1207.3019v1 [cs.SC]. Accepted by ASCM2012. pdf
45. Liyun Dai and Bican Xia: Non-termination Sets of Simple Linear Loops. In: A. Roychoudhury and M. D'Souza (Eds.): ICTAC 2012, LNCS 7521, pp 61-73, 2012. pdf
44. C. Chen, J. H. Davenport, F. Lemaire, M. Moreno Maza, B. Xia, R. Xiao, Y. Xie: Computing the real solutions of polynomial systems with the RegularChains library in Maple. Software Demo at ISSAC 2011, Communications in Computer Algebra , Volume 45 Issue 3/4, 2012.
pdf
43. C. Chen, J. Davenport, M. Moreno Maza, B. Xia and R. Xiao: Computing with Semi-Algebraic Sets Represented by Triangular Decomposition, Proc. ISSAC 2011, 75--82, ACM Press, 2011. pdf
42. Y. Li, B. Xia, Z. Zhang: 零维系统保持重数的零点分解. 系统科学与数学,2010, 30(11):1491--1500 . 英文版:arXiv:1011.1634v1 [cs.SC], Nov. 7, 2010.

中文

pdf

41. C. Chen, J. Davenport, J. P. May, M. Moreno Maza, B. Xia and R. Xiao: Triangular decomposition of semi-algebraic systems, Proc. ISSAC 2010, ACM Press, 187--194. pdf
40. B. Xia, Z. Zhang: Termination of Linear Programs with Nonlinear Constraints, Journal of Symbolic Computation , 45(2010): 1234--1249. pdf
39. L. Yang, C. Zhou, N. Zhan, B. Xia: Recent advances in program verification through computer algebra, Frontiers of Computer Science in China, 2010, 4(1): 1--16. pdf
38. B. Xia, L. Yang, N. Zhan, Z. Zhang: Symbolic decision procedure for termination of linear programs. (DOI: 10.1007/s00165-009-0144-5), Formal Aspects of Computing, 23(2): 171--190, 2011 . pdf

37. Z. Zhang, T. Fang, B. Xia: Real Solution Isolation with Multiplicity of Zero-Dimensional Systems. Science China Information Sciences, 2011, Vol. 54(1):60--69. 中文版:中国科学 信息科学 2010, 40(9) 1176-1186.

pdf

36. C. Chen, M. Moreno Maza, B. Xia, L. Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. ISSAC'09, ACM Press, 95--102. pdf
35. Z. She, B. Xia, R. Xiao, Z. Zheng: A Semi-algebraic Approach for asymptotic stability analysis. Nonlinear Analysis: Hybrid Systems, 3(2009) , 588--596. pdf
34. Bican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-Algebraic Systems Solving. Proceedings of ISoLA 2008, CCIS 17 (T. Margaria and B. Ste en Eds.), Springer-Verlag, pp277-291, 2008. 第一页

33. 杨路,夏壁灿:《不等式机器证明与自动发现》,科学出版社,2008年1月。

封面

32. Ting Zhang and Bican Xia: A New Method for Real Root Isolation of Univariate Polynomials. Mathematics in Computer Science, Vol. 1, 305—320, 2007.

pdf
31. 王东明,夏壁灿,李子明:《计算机代数》(第二版),清华大学出版社,2007年10月。 封面
30. He, GN, Wang, L, Xia, BC and Yu WS: Stabilization of the Belgian chocolate system via low-order controllers, PROCEEDINGS OF THE 26TH CHINESE CONTROL CONFERENCE, VOL 3,  p.88--p.92, 2007.  
29. Xia Bican: DISCOVERER: A tool for solving semi-algebraic systems, Software Demo at ISSAC 2007, Waterloo, July 30, 2007. Also: ACM SIGSAM Bulletin, Vol. 41, No. 3, pp.102--103, Sept., 2007. pdf
28. Chen Yinghua, Xia Bican, Yang Lu, Zhan Naijun, Zhou Chaochen: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems, LNCS 4711, p.34--p.49, 2007. pdf
27. Chen Yinghua, Xia Bican, Yang Lu, Zhan Naijun: Generating polynomial invariants with DISCOVERER and QEPCAD, LNCS 4700, p.67--p.82, 2007. pdf
26. 线性系统同时镇定中广义香槟问题的解,中国科学 E辑,第37卷 第6期:770-780, 2007.

中文

pdf

25. S. Ning, B. Xia, Z. Zheng, On a cubic system with eight limit cycles, Bulletin of the Belgian Mathematical Society Simon Stevin, Vol. 14, 595--605, 2007.

pdf

24. She Zhikun, Xia Bican and Xiao Rong, A Semi-algebraic Approach for the Computation of Lyapunov Functions, in: Proc. The Second IASTED International Conference on Computational Intelligence (CI 2006) (B. Kovalerchuk ed.), pp.7—12, ACTA Press Anaheim, USA, 2006.

pdf

23. Yang Lu and Xia Bican, Quantifier Elimination for Quartics. In: Lecture Notes in Artificial Intelligence 4120 (T. Ida, J. Calmet and D. Wang eds.), pp. 131—145, Sept. 2006.

pdf

22. Xia Bican and Zhang Ting, Real Solution Isolation Using Interval Arithmetic, Computers and Mathematics with Applications, Vol. 52, pp.853—860, 2006.

pdf

21. Zhang Ting and Xia Bican: A new method for real root isolation of univariate polynomials, Proc. the First International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS05), pp.85—91, Beijing, July 24-26, 2006.

pdf

20. Yang Lu, Zhan Naijun, Xia Bican and Zhou Chaochen: Program Verification by Using DISCOVERER. Position paper in Verified Software: Theories, Tools, Experiments (VSTTE 2005), ETH Zürich, Oct. 10-13, 2005. In LNCS 4171, pp.528--538, 2008.

pdf

19. Zhang Ting, Xiao Rong and Xia Bican: Real Solution Isolation Based on Interval Krawczyk Operator. Proc. the 7th Asian Symposium on Computer Mathematics (ASCM 2005), (Sung-il Pae, H. Park, eds.), pp.235—237. Seoul, Dec.8-10, 2005.

pdf

18. Xia Bican, Xiao Rong and Yang Lu: Solving parametric semi-algebraic systems. Proc. the 7th Asian Symposium on Computer Mathematics (ASCM 2005), (Sung-il Pae, H. Park, eds.), pp.153—156. Seoul, Dec.8-10, 2005.

pdf

17. Wang Dongming and Xia Bican: Algebraic Analysis of Stability for Some Biological Systems. In: Algebraic Biology 2005 - Computer Algebra in Biology (Proceedings of the First International Conference, Tokyo, Japan, November 28-30, 2005) (H. Anai and K. Horimoto, eds.), Universal Academy Press, Inc., Tokyo, 2005, pp. 75—83.

pdf

16. Wang Dongming, Xia Bican: Stability analysis of biological systems with real solution classification. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005) (M. Kauers, ed.), pp. 354—361. ACM Press, New York (2005).

pdf

15. Yang Lu, Xia Bican: Real solution classifications of a class of parametric semi-algebraic systems. In: Algorithmic Algebra and Logic --- Proceedings of the A3L 2005 (A. Dolzmann, A. Seidl, and T. Sturm, eds.), pp. 281—289. Herstellung und Verlag, Norderstedt (2005).

pdf

14. Bican Xia and Lu Yang: A New Result on the p-Irreducibility of Binding Polynomials, Computers and Mathematics with Applications, Vol. 48, 1811—1817, 2004.

pdf

13. Yang Lu, Xia Bican, Automated Deduction in Geometry, in Geometric Computation, World Scientific, pp.248--298, 2004.

pdf

12. 王东明,夏壁灿 编,《计算机代数》,清华大学出版社,2004年7月。

封面

11. 夏壁灿,杨路:多项式判别矩阵的若干性质及应用,《应用数学学报》,2003年10月,第26卷,第4期,652-663页.

pdf

10. 编写了《符号计算选讲》(王东明 主编,共6章)中的两章,清华大学出版社,2003年。

封面

9. Xia Bican and Yang Lu, An algorithm for isolating the real solutions of semi-algebraic systems, J. of Symbolic Computation, Vol. 34, No.5, pp.461-477, 2002.

pdf

8. Xia Bican and Hou Xiaorong, A Complete Algorithm for Counting Real Solutions of Polynomial Systems of Equations and Inequalities, Computers & Mathematics with Applications, Vol. 44, pp.633-642, 2002.

pdf

7. She Zhikun, Xia Bican, Zheng Zhiming, Pseudo-Division Machine (I): A Model of Symbolic Computation, in Proceedings of the First International Congress of Mathematical Software, pp.115-125, World Scientific, 2002.

pdf

6. Xia Bican and Yang Lu, An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications, in Computer Mathematics-- Proceedings of the ASCM’2001 (K. Shirayanagi and K. Yokoyama eds.), pp.211-220, World Scientific, Singapore, September, 2001.

pdf

5. Yang Lu, Hou Xiaorong and Xia Bican, A complete algorithm for automated discovering of a class of inequality-type theorems, Science in China, Series F, Vol. 44, No. 1, pp.33-49, 2001.

pdf

中文

4. Xia Bican, DISCOVERER: A tool for solving problems involving polynomial inequalities, in Proceedings of the ATCM’2000 (Wei-Chi Yang, et al. eds.), pp.472-481, ATCM Inc., Blacksburg, USA, Dec, 2000.

pdf

3. Yang Lu and Xia Bican, An Explicit Criterion to Determine the Number of Roots in an Interval of a Polynomial, Progress in Natural Science, Vol.10, No. 12, pp897-910, 2000.

pdf

2. 夏壁灿, 侯晓荣, 常系数三角系统实解个数的自动判定及其应用, in: Proceedings of the Fourth Asian Technology Conference in Mathematics (Chinese Volume), pp. 6-13, 1999.

pdf

1. Lu Yang, Xiaorong Hou & Bican Xia, Automated Discovering and Proving for Geometric Inequalities, in Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, pp.30-46, 1999.

pdf

© 2014-09-01