Timeline for Conceptual insights and inspirations from experimental and computational mathematics
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11, 2021 at 19:12 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
| Dec 3, 2019 at 7:12 | comment | added | Mario Krenn | The generation of new identities could go much closer to my original question. I wonder then, whether he got new intuitions/ideas/concepts from there? It sounds similar to Mann's "interesting observation" in my question? Do you have more information about it? Wikipedia doesn't help much in understanding what the inspirations were, rather than the identity itself? Did it lead to new progress in mathematics? Thanks, its certainly a valueable comment! | |
| Dec 3, 2019 at 6:52 | comment | added | Zubin Mukerjee | Zeilberger said, on Wilf-Zeilberger proof theory: "It's a collection of algorithms that can discover, and then prove, binomial coefficient identities, and identities involving sums or integrals of special functions." | |
| Dec 3, 2019 at 6:48 | comment | added | Zubin Mukerjee | @MarioKrenn Maybe the work of Doron Zeilberger is relevant? He has used computers to generate and verify hypergeometric identities such as the one on his t-shirt: $$\displaystyle\sum_{k=0}^n \binom{n}{k}^2\binom{3n+k}{2n} = \binom{3n}{n}^2$$ edit: He also often credits his computer as a coauthor in his papers. | |
| Dec 3, 2019 at 6:27 | comment | added | Zubin Mukerjee | Ah ok, I may have misunderstood | |
| Dec 3, 2019 at 6:25 | comment | added | Mario Krenn | Thanks. While this program was used to find a solution, i wonder what the conceptual insight was? Did the solution then lead to new ideas and concepts? Otherwise I would consider it as a pure calculation result, and not an inspiration. | |
| Dec 3, 2019 at 6:22 | history | answered | Zubin Mukerjee | CC BY-SA 4.0 |