穆雷·A·巴卡图 托马斯·克鲁佐 雅克·亚瑟·韦尔 露西娅·迪·维齐奥 计算线性微分系统微分伽罗瓦群的李代数。 63-70 2016 ISSAC公司 https://doi.org/10.1145/2930889.2930932 conf/isac/2016 db/conf/issac/issac2016.html#BarkatouCWV16