Affiliation: | 1. Faculty of Science, Henan University of Science and Technology, Luoyang 471003, People’s Republic of China;2. Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, People’s Republic of China |