Institution: | 1.Nonlinear Science Center, Ningbo University, Ningbo 315211, China
;2.Institute of Theoretical Computing, East China Normal University, Shanghai 200062, China
;3.Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences,; Beijing 100080, China |