论文部分内容阅读
符号计算是用计算机对公式直接进行处理的理论、算法和系统,是科学计算的新发展。机器证明的吴方法能有效地解非线性方程组,已应用到理论论理、计算机科学、数学科学、机器人机构学等领域。我们把符号计算和机器证明用于孤立子理论的奇异点分析过程,从而判定一个偏微分方程是否是IST可解的。
符号计算、机器证明在孤立子理论中的应用
【摘 要】
：
符号计算是用计算机对公式直接进行处理的理论、算法和系统,是科学计算的新发展。机器证明的吴方法能有效地解非线性方程组,已应用到理论论理、计算机科学、数学科学、机器人
【机 构】
：
中山大学数学系94研广州510275
【出 处】
：
中山大学研究生学刊：自然科学与医学版
【发表日期】
：
1996年2期
其他文献
现在硬件大幅度降价，很多家庭都添置了第一台电脑。可是，这两台电脑的资源利用率极不平衡。一方面，新电脑卓越的处理能力在大部分时候处于闲置状态；而另一方面旧电脑却“动力”不
综述了工业固体废物在水泥、墙体材料、陶瓷材料及轻骨料生产中的利用现状,总结出在建筑材料领域工业固体废弃物资源化利用的主要出路。
文章分析了新时期高校后勤财务管理的现状，对高校后勤产业集团存在的产权关系不明晰、运行成本居高不下、盲目投资、缺乏约束监督机制、财务监控机制不完善不健全等问题，从加强
本文对以海洋营养物质为生的赤潮藻类且含营养再生的四种营养上升函数的单种群赤潮生态数学模型进行定性讨论。运用微分方程的定性理论,讨论了模型平衡点的渐近稳定性及模型
本文描述了镉对植物生活状态的影响,并对镉吸收后,其对植物体内各种生理生化反应的变化作了概述。