Untying The Gordian Knot via Experimental Mathematics
Combinatorics
2019-01-15 v2
Abstract
In this methodological article on experimental-yet-rigorous enumerative combinatorics, we use two instructive case studies, to show that often, just like Alexander the Great before us, the simple, "cheating" solution to a hard problem is the best. So before you spend days (and possibly years) trying to answer a mathematical question by analyzing and trying to 'understand' its structure, let your computer generate enough data, and then let it guess the answer. Often its guess can be proved by a quick 'hand-waving' (yet fully rigorous) 'meta-argument'. Since our purpose is to illustrate a methodology, we include many details, as well as Maple source-code.
Keywords
Cite
@article{arxiv.1812.07193,
title = {Untying The Gordian Knot via Experimental Mathematics},
author = {Yukun Yao and Doron Zeilberger},
journal= {arXiv preprint arXiv:1812.07193},
year = {2019}
}
Comments
24 pages, dedicated to Peter Paule on his 60th birthday