Geodesic
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

Voir la notice de l'article provenant de la source The Electronic Journal of Combinatorics website

Zbl EuDML
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 
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
@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

Cité par Sources :