Location: Home » People » Faculty
Faculty
   
   
   
   
   
   
   
Postdoctors
 
G. Y. Qian
 
2012--2014
 
G. Q. Wang
  
2009--2011
 
Z. X. Xu
 
2007--2009
 
L. C. Zuo
  
2005--2007
 
Y. H. Ji
  
1998--2000
 
X. D. Zhang
  
1996--1998
Visitors
Visitors in 2012
Visitors in 2011
Visitors in 2010
Visitors in 2009
Visitors in 2008
Visitors in 2007
Visitors in 2006
Visitors in 2005
Visitors in 2004
Visitors before 2003
 
 
 
Qianghui Guo
 
Lecturer
 
Tel:022-2350-3881
 
Research Interests
• Automated Proofs of Combinatorial Identities
• Mathematics Mechanization and Computer Algorithms
Education
• B.Sc. Mathematics, Xidian University, China, 2003