报告主题： 基于吴方法的确定微分方程对称Lie代数结构常数机械化算法
报告人：特木尔朝鲁 教授 （上海海事大学）
报告时间：2018年11月16日（周五）15:30
报告地点：校本部G507
邀请人：夏铁成
报告摘要：基于微分形式吴方法理论及算法给出了无需确定对称Lie代数本身而事先构造其同构像(具有同结构常数的Lie代数)的机械化算法。该算法有效提高构造(偏)微分方程(组)对称Lie代数的效率，并可应用于对称Lie代数各类性质的机械化分析和判定。给出算例验证了算法的有效性。
欢迎教师、学生参加 ！