Symbolic computation is playing the central role to solve the mathematical equations, especially the boundary value problems for differential equations. The symbolic computation is an important tool in scientific field, which is also known as computer algebra. In twenty-th century, the science and technology had a very swift progress in various fields, especially in computing, the subfield of scientific and technological computing. One of the biggest successes in the research of symbolic computation is the development of significant software systems. In some applications, for example the...