中国科学院数学与系统科学研究院期刊网
微分、差分方程的机械化方法
高小山;李子明
Mechanized Methods for Differential and Difference Equations
GAO Xiaoshan;LI Ziming
系统科学与数学 . 2009, (9): 1222 -1237 .  DOI: 10.12341/jssms08451