Services
Growth Innovation Operations
Cases
Insights
AGP Insights Eco Insiders Podcast
About
Contact
EN
中文

Personal Information

Bican Xia
xbc at math dot pku dot edu dot cn
Chinese, English
Beijing

Academic Information

Peking University
Mathematical Sciences
  • 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
  • 2020 - Peking University Teaching Excellence Award
  • 2005-2006 - Peking University Teaching Excellence Award
  • 2001 - Zhou Peiyuan Mathematics Award
  • 2000-2001 - Outstanding Class Teacher

Research

Symbolic computation
Machine proving
Automatic reasoning
Program verification
  • 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
Keywords
Algorithms Inequality Theorem Proving Semi-Algebraic Systems Real Solutions Computational Mathematics Software Tools Formal Methods Embedded Systems Symbolic Analysis
Related Professors
Hui Feng - Wuhan University
Area of Focus
Numerical Methods | Partial Differential Equations | Pdes | Computational Mathematics | Finite Element Method | Numerical Analysis | Simulation | Modeling | Algorithms | Mathematical Physics
View All
© 2015-2024 Asia Growth Partners Limited | Privacy Policy

Contact us

Let's talk!
* Required
* Required
* Required
* Invalid email address
By submitting this form, you agree that IoT ONE may contact you with insights and marketing messaging.
No thanks, I don't want to receive any marketing emails from IoT ONE.
Submit

Thank you for your message!
We will contact you soon.