Address: Key Laboratory of Mathematics Mechanization
               Academy of Mathematics & System Sciences
               Chinese Academy of Sciences
               No. 55, East Road, Zhongguancun,
               Beijing, 100190, China

Email:    KLMM@mmrc.iss.ac.cn