• Automated Proofs of Combinatorial Identities
• B.Sc. Mathematics, Shandong University, China, 2004