1. College of Computer Science and TechnologyJilin University Changchun China
2. Key Laboratory of Symbolic Computation and Knowledge EngineeringJilin University, Ministry of Education Changchun China
3. College of SoftwareJilin University Changchun China
4. College of MathematicsJilin University Changchun China