计算机符号积分的算法