Resume
Publications
Courses
Students
Projects

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