| 论著 | 下载链接 |
|---|---|
| 39. L. Yang, C. Zhou, N. Zhan, B. Xia: Recent advances in program verification through computer algebra, to appear in Frontiers of Computer Science in China. | |
| 38. B. Xia, L. Yang, N. Zhan, Z. Zhang: Symbolic decision procedure for termination of linear programs. (DOI: 10.1007/s00165-009-0144-5), to appear in Formal Aspects of Computing. | |
| 37. Z. Zhang, T. Fang, B. Xia: Real Solution Isolation with Multiplicity of Zero-Dimensional Systems. to appear in Science in China. | |
| 36. C. Chen, M. Maza, B. Xia, L. Yang: Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. ISSAC'09, ACM Press, 95--102. | |
| 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. | |
| 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. |
|
| 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. | |
| 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. | |
| 27. Chen Yinghua, Xia Bican, Yang Lu, Zhan Naijun: Generating polynomial invariants with DISCOVERER and QEPCAD, LNCS 4700, p.67--p.82, 2007. | |
| 26. 线性系统同时镇定中广义香槟问题的解，中国科学 E辑，第37卷 第6期：770－780， 2007. | |
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. |
|
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. |
|
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. |
|
22. Xia Bican and Zhang Ting, Real Solution Isolation Using Interval Arithmetic, Computers and Mathematics with Applications, Vol. 52, pp.853—860, 2006. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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). |
|
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). |
|
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. |
|
13. Yang Lu, Xia Bican, Automated Deduction in Geometry, in Geometric Computation, World Scientific, pp.248--298, 2004. |
|
12. 王东明，夏壁灿 编，《计算机代数》，清华大学出版社，2004年7月。 |
|
11. 夏壁灿，杨路：多项式判别矩阵的若干性质及应用，《应用数学学报》，2003年10月，第26卷，第4期，652-663页. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
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. |
|
2. 夏壁灿, 侯晓荣, 常系数三角系统实解个数的自动判定及其应用, in: Proceedings of the Fourth Asian Technology Conference in Mathematics (Chinese Volume), pp. 6-13, 1999. |
|
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. |
