How Berger, Felzenbaum and Fraenkel Revolutionized Covering Systems the Same Way that George Boole Revolutionized Logic

Doron Zeilberger
2000 Electronic Journal of Combinatorics  
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 fatcat:rxgys5jpdnd4ll7s5dw4uvabju