*Xiaohui Ma (School of Mathematical Sciences, University of Chinese Academy of Sciences)
Liyong Shen (School of Mathematical Sciences, University of Chinese Academy of Sciences)
Zhenpeng Mi (Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences)
Chunming Yuan (Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences)
Math formula preview: