Areas of Focus
- 符号计算
- 机器证明
- 自动推理
- 程序验证
Work Experience
- 2017-2019 - 信息科学系 - 主任
- 2008-2017 - 北京大学数学科学学院 - 副院长
- 2000- - 北京大学数学科学学院 - 讲师、副教授、教授
- 1998-2000 - 北京大学数学系 - 博士后
Publications
- A complete algorithm for automated discovering of a class of inequality-type theorems, L. Yang, X. Hou and B. Xia, 2001
- An algorithm for isolating the real solutions of semi-algebraic systems, B. Xia and L. Yang, 2002
- Real solution classifications of a class of parametric semi-algebraic systems, L. Yang and B. Xia, 2005
- DISCOVERER: A tool for solving semi-algebraic systems, B. Xia, 2007
- Automated Inequality Proving and Discovering, B. Xia and L. Yang, 2016
Awards
- 2020年 - 北京大学教学优秀奖
- 2005-2006年度 - 北京大学教学优秀奖
- 2001年 - 周培源数学奖教金
- 2000-2001 年度优秀班主任
