穆雷·A·巴卡图 Joelle Saadé 雅克·亚瑟·韦尔 利用特征环对奇异线性微分系统进行形式化约简的一种新方法。 47-54 2018 ISSAC公司 https://doi.org/10.1145/3208976.3209016 conf/isac/2018 db/conf/issac/issac2018.html#BarkatouSW18