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

• 作者: 李志斌 柳银萍
• 来源期刊: 华东师范大学学报(自然科学版)
• 学科: 工学
• 关键词: 符号计算 自动推理 演化方程 孤波解
• 年，卷（期）: 2003,（1）
• 页码范围: 31-37
• 页数: 7页
• 分类号: O175.29|TP311
• 字数: 4690字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5641.2003.01.006

摘要

以吴文俊数学机械化方法为基本工具在计算机代数系统Maple上开发出了非线性演化方程孤波解的自动求解软件包RATH.利用RATH成功求解了近百个不同类型的非线性演化方程,所获结果不仅涵盖了所有的已知解,而且对许多方程还发现了新的解和形式更为一般的解.对于绝大部分方程,RATH的运行时间都在10秒以内.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志斌	华东师范大学计算机科学技术系	51	614	13.0	23.0
2	柳银萍	华东师范大学计算机科学技术系	13	14	2.0	3.0