Computation 符号与代数计算 Ita and Issac Symposium 国际学术研 海外直订Symbolic International Algebraic Rome