Kozen, DexterTimme, Marc2007-10-182007-10-182007-10-18https://hdl.handle.net/1813/8352Indefinite summation, together with a generalized version of the Kronecker delta, provide a calculus for reasoning about various polynomial functions that arise in combinatorics, such as the Tutte, chromatic, flow, and reliability polynomials. In this paper we develop the algebraic properties of the indefinite summation operator and the generalized Kronecker delta from an axiomatic viewpoint. Our main result is that the axioms are equationally complete; that is, all equations that hold under the intended interpretations are derivable in the calculus.267370 bytesapplication/pdfen-USKronecker deltachromatic polynomialMoebius algebraTutte polynomialindefinite summation