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-82541838, FAX: 86-10-82541809
lzhi at mmrc.iss.ac.cn