符号计算、机器证明在孤立子理论中的应用

• 作者: 施齐焉
• 来源期刊: 中山大学研究生学刊：自然科学与医学版
• 学科: 工学
• 关键词: 符号计算 机器证明 孤立子 反散射方法 奇异点分析
• 年，卷（期）: 1996,（2）
• 页码范围: 18-20
• 页数: 3页
• 分类号: TP399

摘要

符号计算是用计算机对公式直接进行处理的理论、算法和系统,是科学计算的新发展。机器证明的吴方法能有效地解非线性方程组,已应用到理论论理、计算机科学、数学科学、机器人机构学等领域。我们把符号计算和机器证明用于孤立子理论的奇异点分析过程,从而判定一个偏微分方程是否是IST可解的。