Wolfram 语言中的高等微分方程的数值求解