Personal Information
夏壁灿
|
|
xbc at math dot pku dot edu dot cn
|
|
中文, 英语
|
|
北京
|
Academic Information
北京大学
|
|
Mathematical Sciences
|
|
|
|
|
Research
符号计算
机器证明 自动推理 程序验证 |
|
|