%0 Journal Article
%T MECHANIZED METHODS FOR DIFFERENTIAL AND DIFFERENCE EQUATIONS<br>微分、差分方程的机械化方法
%A GAO Xiaoshan
%A LI Ziming
%A <br>高小山
%A 李子明
%J 系统科学与数学
%D 2009
%I 
%X In this paper, we review some recent advances on mechanical methods for differential and difference equations, which include a characteristic set method for differential-difference systems, a decomposition method for finite-dimensional linear differential-difference systems, and some algorithms for computingclosed-form solutions for nonlinear ordinary differential and difference equations.
%K Mathematics mechanization
%K differential equations
%K difference equations
%K linear functional systems
%K characteristic set method
%K functional factorization
%K closed-form solutions<br>数学机械化
%K 微分方程
%K 差分方程
%K 特征列方法
%K 函数分解
%K 闭形式解.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=6E709DC38FA1D09A4B578DD0906875B5B44D4D294832BB8E&cid=37F46C35E03B4B86&jid=0CD45CC5E994895A7F41A783D4235EC2&aid=20DCBF37E8B37605D781BDC60DA0A7E4&yid=DE12191FBD62783C&vid=771469D9D58C34FF&iid=9CF7A0430CBB2DFD&sid=966030800FCA5D46&eid=72EB001A9B3C78CE&journal_id=1000-0577&journal_name=系统科学与数学&referenced_num=0&reference_num=45