华东师范大学学报(自然科学版)
華東師範大學學報(自然科學版)
화동사범대학학보(자연과학판)
2003年
1期
31-37
,共7页
符号计算%自动推理%演化方程%孤波解
符號計算%自動推理%縯化方程%孤波解
부호계산%자동추리%연화방정%고파해
以吴文俊数学机械化方法为基本工具在计算机代数系统Maple上开发出了非线性演化方程孤波解的自动求解软件包RATH.利用RATH成功求解了近百个不同类型的非线性演化方程,所获结果不仅涵盖了所有的已知解,而且对许多方程还发现了新的解和形式更为一般的解.对于绝大部分方程,RATH的运行时间都在10秒以内.
以吳文俊數學機械化方法為基本工具在計算機代數繫統Maple上開髮齣瞭非線性縯化方程孤波解的自動求解軟件包RATH.利用RATH成功求解瞭近百箇不同類型的非線性縯化方程,所穫結果不僅涵蓋瞭所有的已知解,而且對許多方程還髮現瞭新的解和形式更為一般的解.對于絕大部分方程,RATH的運行時間都在10秒以內.
이오문준수학궤계화방법위기본공구재계산궤대수계통Maple상개발출료비선성연화방정고파해적자동구해연건포RATH.이용RATH성공구해료근백개불동류형적비선성연화방정,소획결과불부함개료소유적이지해,이차대허다방정환발현료신적해화형식경위일반적해.대우절대부분방정,RATH적운행시간도재10초이내.
