Institution: | 1. School of Applied Science, University of Science and Technology Beijing, Beijing 100083, China
;2. Department of Mathematics and Computer Science,
Beijing University of Chemical Technology, Beijing 100029, China
;3. Key Laboratory of Mathematics Mechanization, the Chinese Academy of Sciences, Beijing 100080, China |