Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education university • 6 followers