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 |