Author: International Seminar on Symbolic Computation in Education (2006 Beihang University)