Written: March 17, 2013

(Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger)

We have come a long way since 1960. Then the first prize in the prestigious Paris concours (for "higher mathematics") went to a theorem that I can derive and prove in .1 seconds

Maple Packages

• fng (for proving)

• Pverne (for drawing)

Input and Output files

To get a fully rigorous derivation of Gigoujeu's theorem the
input file yields the output file.

Pics

• DIAGRAM

• More pictures

Doron Zeilberger's Home Page