Skip to main content
"experimentation have led" ---> "experimentation has led"
Source Link
Michael Hardy
  • 1
  • 12
  • 85
  • 126

I would like to ask about examples where experimentation by computers havehas led to major mathematical advances.

I would like to ask about examples where experimentation by computers have led to major mathematical advances.

I would like to ask about examples where experimentation by computers has led to major mathematical advances.

one more link changed from http to https; edited heading formatting (it appears this post was not automatically migrated to use CommonMark)
Source Link
The Amplitwist
  • 1.4k
  • 3
  • 11
  • 22

#I would like to ask about examples where experimentation by computers have led to major mathematical advances.

I would like to ask about examples where experimentation by computers have led to major mathematical advances.

##Motivation

Motivation

I am aware about a few such cases and I think it will be useful to gather such examples together. I am partially motivated by the recent polymath5polymath5 which, at this stage, have become an interesting experimental mathematics project. So I am especially interested in examples of successful "mathematical data mining"; and cases which are close in spirit to the experimental nature of polymath5. My experience is that it can be, at times, very difficult to draw useful insights from computer data.

Summary of answers according to categories

##Summary of answers according to categories (Added Oct. 12, 2015)

###Bounty:

Bounty:

#I would like to ask about examples where experimentation by computers have led to major mathematical advances.

##Motivation

I am aware about a few such cases and I think it will be useful to gather such examples together. I am partially motivated by the recent polymath5 which, at this stage, have become an interesting experimental mathematics project. So I am especially interested in examples of successful "mathematical data mining"; and cases which are close in spirit to the experimental nature of polymath5. My experience is that it can be, at times, very difficult to draw useful insights from computer data.

##Summary of answers according to categories (Added Oct. 12, 2015)

###Bounty:

I would like to ask about examples where experimentation by computers have led to major mathematical advances.

Motivation

I am aware about a few such cases and I think it will be useful to gather such examples together. I am partially motivated by the recent polymath5 which, at this stage, have become an interesting experimental mathematics project. So I am especially interested in examples of successful "mathematical data mining"; and cases which are close in spirit to the experimental nature of polymath5. My experience is that it can be, at times, very difficult to draw useful insights from computer data.

Summary of answers according to categories

(Added Oct. 12, 2015)

Bounty:

http -> https (the question was bumped anyway)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

The Prime Number Theorem; Birch and Swinnerton-Dyer conjectures; Shimura-Taniyama-Weil conjecture; Zagier's conjectures on polylogarithms; Mandelbrot set; Gosper Glider GunGosper Glider Gun (answer), Lorenz attractor; Chebyshev's bias (answer) ; the Riemann hypothesis; the discovery of the Feigenbaum constant; (related) Feigenbaum-Coullet-Tresser universality and Milnor's Hairiness conjecture; Solving numerically the so-called Fermi--Pasta--Ulam chain and then of its continuous limit, the Korteweg--de Vries equation

"Maeda conjecture"; the work of Candès and Tao on compressed sensing; Certain Hankel determinants; Weari-Phelan structure; the connection of multiple zeta values to renormalized Feynman integrals; Thistlethwaite's discovery of links with trivial Jones polynomial; The Monstrous Moonshine;Monstrous Moonshine; McKay's account on experimentation leading to mysterious "numerology" regarding the monster. (link to the answer); Haiman conjectures on the quotient ring by diagonal invariants

Journal of experimental mathematics; Herb Wilf's article: Mathematics, an experimental science in the Princeton Companion to Mathematics, genetic programming applications a fairly comprehensive website experimentalmath.info ; discovery and experimentation in number theory; Doron Zeilberger's classes called "experimental mathematics":math.rutgers.edu/~zeilberg/teaching.html; V.I. Arnol'd'sV.I. Arnol'd's two books on the subject of experimental mathematics in Russian, Experimental mathematics, Fazis, Moscow, 2005, and Experimental observation of mathematical facts, MCCME, Moscow, 2006

The Prime Number Theorem; Birch and Swinnerton-Dyer conjectures; Shimura-Taniyama-Weil conjecture; Zagier's conjectures on polylogarithms; Mandelbrot set; Gosper Glider Gun (answer), Lorenz attractor; Chebyshev's bias (answer) ; the Riemann hypothesis; the discovery of the Feigenbaum constant; (related) Feigenbaum-Coullet-Tresser universality and Milnor's Hairiness conjecture; Solving numerically the so-called Fermi--Pasta--Ulam chain and then of its continuous limit, the Korteweg--de Vries equation

"Maeda conjecture"; the work of Candès and Tao on compressed sensing; Certain Hankel determinants; Weari-Phelan structure; the connection of multiple zeta values to renormalized Feynman integrals; Thistlethwaite's discovery of links with trivial Jones polynomial; The Monstrous Moonshine; McKay's account on experimentation leading to mysterious "numerology" regarding the monster. (link to the answer); Haiman conjectures on the quotient ring by diagonal invariants

Journal of experimental mathematics; Herb Wilf's article: Mathematics, an experimental science in the Princeton Companion to Mathematics, genetic programming applications a fairly comprehensive website experimentalmath.info ; discovery and experimentation in number theory; Doron Zeilberger's classes called "experimental mathematics":math.rutgers.edu/~zeilberg/teaching.html; V.I. Arnol'd's two books on the subject of experimental mathematics in Russian, Experimental mathematics, Fazis, Moscow, 2005, and Experimental observation of mathematical facts, MCCME, Moscow, 2006

The Prime Number Theorem; Birch and Swinnerton-Dyer conjectures; Shimura-Taniyama-Weil conjecture; Zagier's conjectures on polylogarithms; Mandelbrot set; Gosper Glider Gun (answer), Lorenz attractor; Chebyshev's bias (answer) ; the Riemann hypothesis; the discovery of the Feigenbaum constant; (related) Feigenbaum-Coullet-Tresser universality and Milnor's Hairiness conjecture; Solving numerically the so-called Fermi--Pasta--Ulam chain and then of its continuous limit, the Korteweg--de Vries equation

"Maeda conjecture"; the work of Candès and Tao on compressed sensing; Certain Hankel determinants; Weari-Phelan structure; the connection of multiple zeta values to renormalized Feynman integrals; Thistlethwaite's discovery of links with trivial Jones polynomial; The Monstrous Moonshine; McKay's account on experimentation leading to mysterious "numerology" regarding the monster. (link to the answer); Haiman conjectures on the quotient ring by diagonal invariants

Journal of experimental mathematics; Herb Wilf's article: Mathematics, an experimental science in the Princeton Companion to Mathematics, genetic programming applications a fairly comprehensive website experimentalmath.info ; discovery and experimentation in number theory; Doron Zeilberger's classes called "experimental mathematics":math.rutgers.edu/~zeilberg/teaching.html; V.I. Arnol'd's two books on the subject of experimental mathematics in Russian, Experimental mathematics, Fazis, Moscow, 2005, and Experimental observation of mathematical facts, MCCME, Moscow, 2006

added 124 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
typo 49 should be 48
Source Link
Josiah Park
  • 3.2k
  • 13
  • 28
Loading
fixed typos
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285
Loading
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link
Loading
added 33 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
Replaced broken link to inverse symbolic calculator
Source Link
Tony Huynh
  • 32.1k
  • 11
  • 112
  • 187
Loading
added 100 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 157 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 144 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 114 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
"summary" misspelled
Source Link
Nikita Sidorov
  • 2.1k
  • 1
  • 18
  • 25
Loading
added 714 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 788 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 3520 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 315 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 239 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 35 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 100 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
Post Made Community Wiki
added 141 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
added 581 characters in body
Source Link
Gil Kalai
  • 24.7k
  • 38
  • 235
  • 327
Loading
Bounty Ended with Mariano Suárez-Álvarez's answer chosen by Gil Kalai