Lihong Zhi, Professor Mathematics Mechanization Research Center Institute of Systems Science Academy of Mathematics and System Sciences Academia Sinica, Beijing, China Tel: 86-10-62651369, FAX: 86-10-62630706 lzhi at mmrc.iss.ac.cn
