Skip to main content


eCommons@Cornell

eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/8352
Title: Indefinite Summation and the Kronecker Delta
Authors: Kozen, Dexter
Timme, Marc
Keywords: Kronecker delta
chromatic polynomial
Moebius algebra
Tutte polynomial
indefinite summation
Issue Date: 18-Oct-2007
Abstract: Indefinite 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.
URI: http://hdl.handle.net/1813/8352
Appears in Collections:Computing and Information Science Technical Reports

Files in This Item:

File Description SizeFormat
Kronecker.pdf261.1 kBAdobe PDFView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us