WATCH THE TALK

Original Title: Why Counting Counts?

Original Abstract: Counting counts becauase it counts!

New Title: The METHOD of Guess-And-Check

New abstract: Proofs are dead, long live algorithms! I will give a few examples, of my FAVORITE algorithm: Guess-And-Check.

Part I: Three disappointments

• First disappointment: ALCO: Algebraic Combinatorics gone astray
  • Goulden-Jackson issue of ALCO

  • Kauers-Z masterpiece rejected by ALCO for the Goluden-Jackson issue

  • Opinion 178 of Dr. Z.

• Second Disappointment: How "Art Gallery Director" Patrice Ossona de Mendez rejected Xiangdong Wen's (artistic!) MASTERPIECE

  [BTW, here is an example of very bad (and boring!) art]

  • Xiangdong Wen's breakthrough

  • Luckily, Xiangdong Wen's masterpiece is now published in a much better journal!. [See also preliminary notes to a video].

  • Breaking news: L(6,n) is coming up!

• Third Disappointment: David Jackson and Bruce Richmond REFUSING to Retract their ERRONEOUS Alleged proof of 4CT

  • Opinion185.html

---

Part II: Making Lemonade out of the Jackson-Richmod Lemon

• Solving Functional Equations Dear to W.T. Tutte using the Naive (yet fullly rigorous!) Guess And Check Method

• The Jackson-Richmond 4CT Constant is EXACTLY 10/27

---

Part III: A combinatorial Identity that was crucial in proving a major theorem on Water Waves

• Efficient Evaluations of Weighted Sums over the Boolean Lattice inspired by conjectures of Berti, Corsi, Maspero, and Ventura

Coda

• Miodrag Petkovic's charming article on Shalosh B. Ekhad

Personal Journal of Shalosh B. Ekhad and Doron Zeilberger

Doron Zeilberger's Home Page