Tang Jianliang: phd, Professor, School of Shenzhen University Mathematics and statistics. 2003 Chinese Academy of Sciences, Institute of Mathematics and Systems Science, Institute of Systems Science, Mathematical Mechanization, research center, phd, research interests include, mathematical mechanization, computer vision.