Affiliation: | 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 |