非线性微分方程一类精确解的计算机自动推导 (2003年)

【文件属性】：

文件名称：非线性微分方程一类精确解的计算机自动推导 (2003年)

文件大小：159KB

文件格式：PDF

更新时间：2024-05-28 21:01:22

自然科学 论文

摘要:以吴文俊数学机械化方法为基本工具在计算机代数系统Maple上开发出了非线性演化方程孤波解的自动求解软件包RATH。利用RATH成功求解了近百个不同类型的非