吴方法在PDE对称计算、分类、判定和扩充问题中的应用

• 作 者: 朝鲁
• 出 处: 2015年智能科学与不确定性数学国际学术会议(ISMU2015)
• 发表日期: 2015年期
• 关键词: 吴方法 PDE 对称计算 分类 判定 扩充 基础性问题 偏微分方程

　　偏微分方程(PDE)Lie 群(对称)计算、分类、判定和扩充等问题是PDE 定性和求解研究的基础性问题。我们基于吴方法针对这些问题开展了机械化研究，为此类传统非构造性问题的自动推理、计算机实现(构造化)提供了新的方法和思路，也使吴方法的应用扩展到广泛的微分方程领域问题的研究中。本报告中，我们综述近几年取得的研究成果。