|
|
Lihong Zhi, Professor
Director of Key Lab. of Mathematics Mechanization
Academy of Mathematics and System Sciences
Chinese Academy of Sciences
Adjunct Professor of Cheriton School of Computer Science, University of Waterloo
lzhi at mmrc.iss.ac.cn (email)
|
