MECHANIZED METHODS FOR DIFFERENTIAL AND DIFFERENCE EQUATIONS
微分、差分方程的机械化方法

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.