Bing Xie

发表

Takao Inoué, Bing Xie, Xiquan Liang, 2010, Formaliz. Math..

Bing Xie, Xiquan Liang, Xiuzhuan Shen, 2009, Formaliz. Math..

Bing Xie, Zhi Yong Yu, 2023, Acta Mathematica Sinica, English Series.