Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences, Chinese Academy of Sciences, Beijing 100190, China;
Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences, Chinese Academy of Sciences, Beijing 100190, China;
LMIB-SKLSDE-School of Mathematics and Systems Science/Beijing Advanced Innovation Center for Big Data and Brain Computing, Beihang University, Beijing 100191, China;
Centre National de la Recherche Scientifique, 75794 Paris cedex 16, France;