Professor Hongbo Li,  

Mathematics Mechanization Research Center,

Institute of Systems Science,

Academy of Mathematics and Systems Sciences,

Chinese Academy of Sciences, Beijing 100080, China.

Email: hli@mmrc.iss.ac.cn