符号计算论文