Institution: | 1. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China
;2. Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences, Beijing 100080, China
;3. Department of Mathematics and Computer Science, Chizhou University, Chizhou 247000, Anhui Province, China |