非线性微分方程一类精确解的计算机自动推导
An Automated Calculating for A Class of Exact Solutions to Nonlinear Differential Equations
-
摘要: 以吴文俊数学机械化方法魏基本工具在计算机代数系统Maple 上开发出了非线性演化方程孤波解的自动求解软件包RATH。利用RATH成功求解了近百个不同类型的非线性演化方程，所获结果不仅涵盖了所有的已知解，而且对许多方程还发现了新的解和形式更为一般的解。对于绝大部分方程，RATH 的运行时间都在10秒以内。Abstract: By the Mathematics-Mechanization method proposed by Wu Wentsun, a package RATH os developed to output directly the solitary wave solutions to a nonlinear differential equation, based on the maple system. With it nearly one hundred equations have been calculated. The results not only recover all known solutions, but also find some new solutions as well as solutions in the general form. Furthermore, most of the solutions are obtained with the running time no more than 10 seconds under PC Pentium Ⅲ.
-
点击查看大图
计量
- 文章访问数: 3036
- HTML全文浏览量: 26
- PDF下载量: 398
- 被引次数: 0
下载: