微分方程用的对称和积分方法（英文版）