基于吴方法的确定微分方程对称Lie代数结构常数机械化算法

• 作者: 姚裕丰 特木尔朝鲁 苏道 魏康康
• 来源期刊: 中国科学（数学）
• 关键词: 微分形式吴方法 (偏)微分方程 对称Lie代数 确定方程组 机械化算法
• 年，卷（期）: 2019,（5）
• 所属期刊栏目: 论文
• 页码范围: 751-764
• 页数: 14页
• 语种: 中文
• DOI: 10.1360/N012018-00165

摘要

本文基于微分形式吴方法理论及算法给出无需确定对称Lie代数本身而事先构造其同构像(具有同结构常数的Lie代数)的机械化算法.该算法有效提高构造(偏)微分方程(组)对称Lie代数的效率,并可应用于对称Lie代数各类性质的机械化分析和判定.最后给出算例验证算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	特木尔朝鲁		27	81	5.0	7.0
2	姚裕丰		9	5	1.0	2.0
3	魏康康		2	0	0.0	0.0
4	苏道		1	0	0.0	0.0