穆莱·巴卡图;托马斯·克鲁索;雅克·亚瑟·韦尔;露西娅·迪维齐奥 计算线性微分系统微分Galois群的李代数。 (英语) Zbl 1364.12003年 Rosenkranz,Markus(编辑),《第41届符号和代数计算国际研讨会论文集》,ISSAC 2016,加拿大滑铁卢,2016年7月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4380-0)。63-70(2016年)。 引用于11文件 MSC公司: 2005年12月 微分代数 17磅45 线性代数群的李代数 68瓦30 符号计算和代数计算 2015年11月34日 复域中常微分方程的代数方面(微分代数、超平移、群理论) 关键词:算法;计算机代数;微分伽罗瓦理论;本征环;Grothendieck-Katz\(p\)-曲率猜想;李代数;线性微分系统;简化形式 软件:伊索尔德;枫树 PDF格式BibTeX公司 XML格式引用 \textit{M.Barkatou}等人,in:第41届符号和代数计算国际研讨会论文集,ISSAC 2016,加拿大滑铁卢,2016年7月20-22日。纽约州纽约市:计算机协会(ACM)。63-70(2016;Zbl 1364.12003) 全文: 内政部 参考文献: 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。