Institution: | [1]Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China [2]Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing 100080, China [3]International Centre for Materials Physics, the Chinese Academy of Sciences, Shenyang 110016, China |