How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic
The electronic journal of combinatorics, The Fraenkel Festschrift volume, Tome 8 (2001) no. 2
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.
DOI :
10.37236/1617
Classification :
11A07, 11B25, 03B05, 01A65
Mots-clés : covering systems, disjunctive normal form
Mots-clés : covering systems, disjunctive normal form
@article{10_37236_1617,
author = {Doron Zeilberger},
title = {How {Berger,} {Felzenbaum} and {Fraenkel} revolutionized {Covering} {Systems} the same way that {George} {Boole} revolutionized {Logic}},
journal = {The electronic journal of combinatorics},
year = {2001},
volume = {8},
number = {2},
doi = {10.37236/1617},
zbl = {1004.11006},
url = {http://geodesic.mathdoc.fr/articles/10.37236/1617/}
}
TY - JOUR AU - Doron Zeilberger TI - How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic JO - The electronic journal of combinatorics PY - 2001 VL - 8 IS - 2 UR - http://geodesic.mathdoc.fr/articles/10.37236/1617/ DO - 10.37236/1617 ID - 10_37236_1617 ER -
%0 Journal Article %A Doron Zeilberger %T How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic %J The electronic journal of combinatorics %D 2001 %V 8 %N 2 %U http://geodesic.mathdoc.fr/articles/10.37236/1617/ %R 10.37236/1617 %F 10_37236_1617
Doron Zeilberger. How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic. The electronic journal of combinatorics, The Fraenkel Festschrift volume, Tome 8 (2001) no. 2. doi: 10.37236/1617
Cité par Sources :