作者机构:Key Laboratory of Mathematics Mechanization, NCMIS, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China
相关基金:This research was supported by the National Natural Science Foundation of China uniter Grant Nos. 11071285 and 61121062, 973 Project under Grant No. 2011CB302401, and the National Center for Mathematics and Interdisciplinary Sciences, Chinese Academy of Sciences.