用MATHMATICA与MAPLE求解非线性偏微分方程,展示了这两个数学软件强大的公式推导能力与解析能力。