Lihong Zhi, Professor Director of Key Lab. of Mathematics Mechanization Academy of Mathematics and System Sciences Chinese Academy of Sciences Beijing, 100190, China Tel: 86-10-82541838 lzhi at mmrc.iss.ac.cn