Areas of Focus
- Symbolic computation
- Machine proving
- Automatic reasoning
- Program verification
Work Experience
- 2017-2019 - Information Science Department - Director
- 2008-2017 - Peking University School of Mathematical Sciences - Associate Dean
- 2000- - Peking University School of Mathematical Sciences - Lecturer, Associate Professor, Professor
- 1998-2000 - Peking University Department of Mathematics - Postdoctoral
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 - Peking University Teaching Excellence Award
- 2005-2006 - Peking University Teaching Excellence Award
- 2001 - Zhou Peiyuan Mathematics Award
- 2000-2001 - Outstanding Class Teacher
