Bican Xia's homepage

Bican Xia　 Professor

Department of Information Science
School of Mathematical Sciences
Peking University

Beijing 100871

P. R. China

Fax： (86)-10-62751801

Email：xbc at math dot pku dot edu dot cn

Research Interests: Computer Algebra, Automated Reasoning, Program Verification.

© 2021-07-12