Amanda Folsom and Ken Ono's Error Could Have (and Should Have!) been Discovered by Their Computers (in Less than Three Seconds!)

By Shalosh B. EKHAD

.pdf   .ps   .tex  

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

First Posted Nov. 18 2011

Last Update: Nov. 25, 2011.

Human mathematicians (and human editors) should follow David Bailey and Jon Borwein's advice in their recent Nov. 2011 Notices article, and check, by computer, the statements of their theorems, before they submit (and accept) them.

Added Nov. 25, 2011: The beautiful article by George Andrews, FRANK GARVAN, and Jie Liang, where they point out the Folsom-Ono error (in a too understated style to my taste) has just been posted. Strongly recommended!

Here is the short Maple package KenAmandaError (written by Doron Zeilberger) used to confirm Frank Garvan's refutation.
Personal Journal of Shalosh B. Ekhad and Doron Zeilberger

Doron Zeilberger's Home Page