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

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish (US)
JournalElectronic Journal of Combinatorics
Volume8
Issue number2
StatePublished - Dec 1 2001
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Geometry and Topology
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'How berger, felzenbaum and fraenkel revolutionized covering systems the same way that george boole revolutionized logic'. Together they form a unique fingerprint.

Cite this