提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:journals/jsc/BarkatouSW21AU-巴克图，穆雷A。AU-萨阿德，乔尔AU-韦尔，雅克·亚瑟TI-使用特征环对奇异线性微分系统进行形式化约简：一种改进的方法。JO-J.符号。计算。VL-102SP-231型EP-2582021年上半年//DO-2016年10月10日/J.JSC.2019.10.017UR-（欧元）https://doi.org/10.1016/j.jsc.2019.1017急诊室-