Symbolic additive decomposition of rational functions

Abstract

The problem of additive decomposition of rational functions minimizing the degree of the remainder's denominator with the additional minimization of the degree of the remainder's numerator is considered. An algorithm that solves this problem under certain additional assumptions is proposed. This algorithm is implemented in Maple.