符号计算及其应用