Resume
Research
Publications
Courses
Students
ECCA

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