A new symbolic computation for formal integration with exact power series

This paper describes a new symbolic algorithm for formal integration of a class of functions in the context of exact power series by using generalized hypergeometric series and computer algebraic technique.