Symbolic Summation of Polynomials in Linear Space and Quadratic Time

Artificial Intelligence (AI) is the core of many current technologies with diverse applications like: a) systems that understand the spoken languages; b) intelligent tutors that assist in the process of learning new concepts; c) systems that detect patterns in huge amounts of data; etc. Also AI has originated many spin-off technologies that are seen as part of our daily lives, v.gr. a) the mouse; b) symbolic programming languages; c) symbolic computation systems like Macsyma. This work is related to the field of symbolic computation, specifically we present an optimized algorithm that is able to compute symbolic summation of polynomials. The algorithm is based on the solution of a system of simultaneous equations that delivers the coefficients of the resulting polynomial.