作者机构:[1]School of Mathematical Sciences, Graduate University, Chinese Academy of Sciences, Beijing 100049, China, [2]Key Laboratory of Mathematics Mechanization, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China
相关基金:This project is supported by the Natural Science Foundation of China under Grant No. 10901163 and the Knowledge Innovation Program of the Chinese Academy of Sciences.