How berger, felzenbaum and fraenkel revolutionized covering systems the same way that george boole revolutionized logic

Doron Zeilberger

How berger, felzenbaum and fraenkel revolutionized covering systems the same way that george boole revolutionized logic

Research output: Contribution to journal › Article › peer-review

Abstract

The Berger-Felzenbaum-Fraenkel approach to Covering Systems is exposited. In particular their gorgeous proof of the famous a_n = a_n-1 theorem for exact covering systems (found independently by Jamie Simpson), is reviewed, and the analogy of their approach to Boolean tautologies in Disjunctive Normal Form is pointed out.

Original language	English (US)
Pages (from-to)	XVII-XVIII
Journal	Electronic Journal of Combinatorics
Volume	8
Issue number	2
State	Published - 2001
Externally published	Yes

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Geometry and Topology
Discrete Mathematics and Combinatorics
Computational Theory and Mathematics
Applied Mathematics

Cite this

@article{bc0751f6fc9c4f359c2bfe412f00edf3,

title = "How berger, felzenbaum and fraenkel revolutionized covering systems the same way that george boole revolutionized logic",

abstract = "The Berger-Felzenbaum-Fraenkel approach to Covering Systems is exposited. In particular their gorgeous proof of the famous an = an-1 theorem for exact covering systems (found independently by Jamie Simpson), is reviewed, and the analogy of their approach to Boolean tautologies in Disjunctive Normal Form is pointed out.",

author = "Doron Zeilberger",

year = "2001",

language = "English (US)",

volume = "8",

pages = "XVII--XVIII",

journal = "Electronic Journal of Combinatorics",

issn = "1077-8926",

publisher = "Electronic Journal of Combinatorics",

number = "2",

}

TY - JOUR

T1 - How berger, felzenbaum and fraenkel revolutionized covering systems the same way that george boole revolutionized logic

AU - Zeilberger, Doron

PY - 2001

Y1 - 2001

N2 - The Berger-Felzenbaum-Fraenkel approach to Covering Systems is exposited. In particular their gorgeous proof of the famous an = an-1 theorem for exact covering systems (found independently by Jamie Simpson), is reviewed, and the analogy of their approach to Boolean tautologies in Disjunctive Normal Form is pointed out.

AB - The Berger-Felzenbaum-Fraenkel approach to Covering Systems is exposited. In particular their gorgeous proof of the famous an = an-1 theorem for exact covering systems (found independently by Jamie Simpson), is reviewed, and the analogy of their approach to Boolean tautologies in Disjunctive Normal Form is pointed out.

UR - http://www.scopus.com/inward/record.url?scp=53949089630&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=53949089630&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:53949089630

SN - 1077-8926

VL - 8

SP - XVII-XVIII

JO - Electronic Journal of Combinatorics

JF - Electronic Journal of Combinatorics

IS - 2

ER -

How berger, felzenbaum and fraenkel revolutionized covering systems the same way that george boole revolutionized logic

Abstract

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this