Lihong Zhi, Professor Director of Key Lab. of Mathematics Mechanization Academy of Mathematics and System Sciences Chinese Academy of Sciences