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