Institution: | 1. Faculty of Mathematics and Computer Science, Hubei University, Wuhan 430062, China;2. The State Key Laboratory of Information Security, Graduate School of Chinese Academy of Sciences, Beijing 100049, China;3. The Key Laboratory of Mathematics Mechanization, Institute of System Sciences, AMSS, Chinese Academy of Sciences, Beijing 100190, China;4. Department of Mathematics, School of Sciences, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China |