中国科学院数学与系统科学研究院期刊网
线性DEDS的机械化求解方法
肖文栋
MATHEMATICAL MECHANIZATION FOR LINEAR DEDS
Xiao Wendong;Xu Xinhe
系统科学与数学 . 1998, (2): 197 -203 .  DOI: 10.12341/jssms08722