|
|||||
|
|
| 基于吴方法的确定微分方程对称Lie代数结构常数机械化算法 | |
| 引用本文： | 特木尔朝鲁,魏康康,姚裕丰,苏道.基于吴方法的确定微分方程对称Lie代数结构常数机械化算法[J].中国科学:数学,2019(5). |
| 作者姓名： | 特木尔朝鲁 魏康康 姚裕丰 苏道 |
| 作者单位： | 上海海事大学文理学院;内蒙古工业大学理学院 |
| 摘 要： | 本文基于微分形式吴方法理论及算法给出无需确定对称Lie代数本身而事先构造其同构像(具有同结构常数的Lie代数)的机械化算法.该算法有效提高构造(偏)微分方程(组)对称Lie代数的效率,并可应用于对称Lie代数各类性质的机械化分析和判定.最后给出算例验证算法的有效性. |
| 本文献已被 CNKI 等数据库收录！ | |