Mechanized Methods for Differential and Difference Equations
GAO Xiaoshan;LI Ziming
Journal of Systems Science and Mathematical Sciences ›› 2009, Vol. 29 ›› Issue (9) : 1222-1237.
Mechanized Methods for Differential and Difference Equations
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |