Indefinite Summation and the Kronecker Delta
dc.contributor.author | Kozen, Dexter | |
dc.contributor.author | Timme, Marc | |
dc.date.accessioned | 2007-10-18T17:33:14Z | |
dc.date.available | 2007-10-18T17:33:14Z | |
dc.date.issued | 2007-10-18T17:33:14Z | |
dc.description.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. | en_US |
dc.format.extent | 267370 bytes | |
dc.format.mimetype | application/pdf | |
dc.identifier.uri | https://hdl.handle.net/1813/8352 | |
dc.language.iso | en_US | |
dc.subject | Kronecker delta | en_US |
dc.subject | chromatic polynomial | en_US |
dc.subject | Moebius algebra | en_US |
dc.subject | Tutte polynomial | en_US |
dc.subject | indefinite summation | en_US |
dc.title | Indefinite Summation and the Kronecker Delta | en_US |
Files
Original bundle
1 - 1 of 1