66:, typically consist of lists of numerical examples illustrating algebraic identities. However, modern mathematics, beginning in the 17th century, developed a tradition of publishing results in a final, formal and abstract presentation. The numerical examples that may have led a mathematician to originally formulate a general theorem were not published, and were generally forgotten.
664:
69:
Experimental mathematics as a separate area of study re-emerged in the twentieth century, when the invention of the electronic computer vastly increased the range of feasible calculations, with a speed and precision far greater than anything available to previous generations of mathematicians. A
30:
in which computation is used to investigate mathematical objects and identify properties and patterns. It has been defined as "that branch of mathematics that concerns itself ultimately with the codification and transmission of insights within the mathematical community through the use of
836:
90:
The objectives of experimental mathematics are "to generate understanding and insight; to generate and confirm or confront conjectures; and generally to make mathematics more tangible, lively and fun for both the professional researcher and the novice".
513:
722:
518:
659:{\displaystyle {\begin{aligned}\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}\left(1+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{k}}\right)^{2}={\frac {17\pi ^{4}}{360}}.\end{aligned}}}
156:
for a true relation. A formal proof of a conjectured relation will then be sought â it is often easier to find a formal proof once the form of a conjectured relation is known.
496:) to find a linear combination of mathematical constants that matches this value. For example, the following identity was rediscovered by Enrico Au-Yeung, a student of
450:
182:
mechanisms, integrity checks and redundant calculations designed to minimise the possibility of results being invalidated by a hardware or software error.
54:, experimentation, guesswork. You want to find out what the facts are, and what you do is in that respect similar to what a laboratory technician does."
1051:
1394:
178:
or domain-specific software written for attacks on problems that require high efficiency. Experimental mathematics software usually includes
1431:
379:. Related to this work is the isolation of a previously unknown link between gravity theory and quantum mechanics in lower dimensions (see
78:. This formula was discovered not by formal reasoning, but instead by numerical searches on a computer; only afterwards was a rigorous
1350:
1340:
371:
were found standard quantum chemistry basis sets before realizing they all lead to the same unique analytical solution in terms of a
1462:
1318:
1280:
H. F. Sandham and Martin Kneser, The
American mathematical monthly, Advanced problem 4305, Vol. 57, No. 4 (Apr., 1950), pp. 267-268
1082:
831:{\displaystyle \int _{0}^{\infty }\cos(2x)\prod _{n=1}^{\infty }\cos \left({\frac {x}{n}}\right)\mathrm {d} x={\frac {\pi }{8}}.}
464:
1005:
71:
1299:
1149:
1124:
460:
1424:
228:
1230:
394:
198:
1407:
997:
17:
1509:
398:
144:
is often used to establish these values to a high degree of precision â typically 100 significant figures or more.
1470:
1450:
1398:
1090:
902:
1174:
179:
141:
62:
Mathematicians have always practiced experimental mathematics. Existing records of early mathematics, such as
1194:
912:
1048:
1494:
1385:
1256:
493:
1486:
467:. Previous expansions had been incomplete: the outcome revealed an extra term vindicated by experiment.
489:
145:
1389:
716:
Some plausible relations hold to a high degree of accuracy, but are still not true. One example is:
711:
676:
153:
70:
significant milestone and achievement of experimental mathematics was the discovery in 1995 of the
684:
1380:
452:
before being proved mathematically. The
Wheeler-Feynman theory has regained interest because of
312:
1428:
991:
927:
845:
320:
63:
420:
31:
experimental (in either the
Galilean, Baconian, Aristotelian or Kantian sense) exploration of
1028:
857:
380:
368:
175:
168:
149:
1446:
985:
485:
473:
197:
Roger Frye used experimental mathematics techniques to find the smallest counterexample to
260:
8:
1459:
1315:
692:
453:
331:
315:
303:
299:
164:
35:
and more informal beliefs and a careful analysis of the data acquired in this pursuit."
1211:
889:
488:), typically by carrying out a high precision numerical calculation, and then using an
376:
364:
216:
209:
79:
1079:
1478:
1295:
1145:
1120:
1025:
324:
129:
43:
1474:
1454:
1203:
1094:
980:
962:
917:
907:
697:
furnished convincing evidence for many conjectures and lures to further exploration
497:
477:
357:
341:
311:
Use of computer programs to check a large but finite number of cases to complete a
279:
275:
1490:
1466:
1435:
1322:
1086:
1055:
957:
897:
241:
137:
51:
868:. However, a larger computer search showed that this equality fails to hold for
967:
952:
942:
841:
The two sides of this expression actually differ after the 42nd decimal place.
688:
501:
387:
232:
160:
1189:
892:
have made significant contributions to the field of experimental mathematics:
171:
techniques may be used to divide the calculations between multiple computers.
1503:
1402:
1102:
1098:
947:
922:
885:
680:
271:
256:
306:
was based initially on numerical observations, followed by a rigorous proof.
152:. Working with high precision values reduces the possibility of mistaking a
932:
459:
In the realm of linear optics, verification of the series expansion of the
245:
46:âthat's a clichĂ©. When you try to prove a theorem, you don't just list the
1441:
937:
337:
293:
286:
39:
27:
1370:
1425:
An
Algorithm for the Ages: PSLQ, A Better Way to Find Integer Relations
1215:
876:
th cyclotomic polynomial is 2, but maximum height of the factors is 3.
391:
104:
Using graphical displays to suggest underlying mathematical principles.
32:
224:
Finding new examples of numbers or objects with particular properties
1033:
282:, by investigating anomalous behaviours in a numerical weather model.
252:
1412:
1289:
1207:
1166:
481:
205:
133:
116:
Replacing lengthy hand derivations with computer-based derivations.
94:
The uses of experimental mathematics have been defined as follows:
1142:
Mathematics by
Experiment: Plausible Reasoning in the 21st Century
1117:
Mathematics by
Experiment: Plausible Reasoning in the 21st Century
1023:
238:
The Great
Periodic Path Hunt is searching for new periodic paths.
47:
1418:
360:) of conjectures to motivate the search for an analytical proof
848:(maximum absolute value of coefficients) of all the factors of
348:
190:
Applications and examples of experimental mathematics include:
148:
are then used to search for relations between these values and
110:
Exploring a possible result to see if it is worth formal proof.
1171:
Institute of
Electronics and Informatics Engineering of Aveiro
1483:
215:
TomĂĄs
Oliveira e Silva searched for a counterexample to the
1377:
1354:
1344:
1376:
1386:
Collaborative Group for Research in Mathematics Education
465:
ultrashort light pulses travelling in non isotropic media
208:
project was set up to search for a counterexample to the
1290:
Mumford, David; Series, Caroline; Wright, David (2002).
75:
1190:"The Search for a Finite Projective Plane of Order 10"
1058:
by J. Borwein, P. Borwein, R. Girgensohn and S. Parnes
725:
516:
423:
1139:
1114:
1167:"Computational verification of the 3x+1 conjecture"
16:For the mathematical journal of the same name, see
1316:Future Prospects for Computer-Assisted Mathematics
1257:"New Math Formulas Discovered With Supercomputers"
830:
658:
444:
1187:
1501:
1338:is 3 and 14235 = 3 x 4745. See Sloane sequences
1068:I Want to be a Mathematician: An Automathography
852:â 1 appears to be the same as the height of the
347:Gary McGuire proved a minimum uniquely solvable
864:< 10000 and was expected to be true for all
705:
194:Searching for a counterexample to a conjecture
683:and others investigated various properties of
107:Testing and especially falsifying conjectures.
1254:
1231:"Mathematicians Solve Minimum Sudoku Problem"
409:and the corresponding potential for particle
860:. This was shown by computer to be true for
185:
1447:Sample Problems of Experimental Mathematics
1442:Experimental Algorithmic Information Theory
363:Solutions to a special case of the quantum
101:Discovering new patterns and relationships.
50:, and then start to reason. What you do is
1314:David H. Bailey and Jonathan M. Borwein,
1292:Indra's Pearls: The Vision of Felix Klein
1140:Borwein, Jonathan; Bailey, David (2004).
1115:Borwein, Jonathan; Bailey, David (2004).
268:Finding serendipitous numerical patterns
1460:Ten Problems in Experimental Mathematics
119:Confirming analytically derived results.
691:using computer generated images of the
417:was demonstrated exhaustively to order
123:
113:Suggesting approaches for formal proof.
1502:
1484:Institute for Experimental Mathematics
1408:Psychology of Experimental Mathematics
1308:
1049:Experimental Mathematics: A Discussion
1006:Institute for Experimental Mathematics
397:: the equivalence between an advanced
255:project is searching for the smallest
128:Experimental mathematics makes use of
85:
1229:arXiv, Emerging Technology from the.
1164:
1024:
1419:The Great Periodic Path Hunt Website
844:Another example is that the maximum
244:'s OGR project searched for optimal
229:Great Internet Mersenne Prime Search
132:to calculate approximate values for
1177:from the original on 18 March 2013.
340:'s proof of the non-existence of a
13:
805:
775:
736:
537:
18:Experimental Mathematics (journal)
14:
1521:
1364:
1228:
1165:Silva, TomĂĄs (28 December 2015).
163:is being sought or a large-scale
1413:Experimental Mathematics Website
1070:(1985), p. 321 (in 2013 reprint)
879:
872:= 14235, when the height of the
278:, an early example of a chaotic
199:Euler's sum of powers conjecture
174:Frequent use is made of general
1395:Recognizing Numerical Constants
1328:
1283:
1274:
1248:
395:WheelerâFeynman absorber theory
1222:
1181:
1158:
1133:
1108:
1073:
1061:
1042:
1017:
756:
747:
180:error detection and correction
142:Arbitrary precision arithmetic
98:Gaining insight and intuition.
72:BaileyâBorweinâPlouffe formula
1:
1195:American Mathematical Monthly
1119:. A.K. Peters. pp. vii.
1011:
386:In the realm of relativistic
1495:University of Duisburg-Essen
1294:. Cambridge. pp. viii.
706:Plausible but false examples
7:
974:
494:Inverse Symbolic Calculator
296:was discovered by accident.
289:was discovered by accident.
146:Integer relation algorithms
10:
1526:
1188:Clement W. H. Lam (1991).
1144:. A.K. Peters. p. 2.
1029:"Experimental Mathematics"
709:
500:using computer search and
490:integer relation algorithm
463:of the electric field for
399:LiĂ©nardâWiechert potential
57:
15:
1390:University of Southampton
356:Symbolic validation (via
186:Applications and examples
74:for the binary digits of
1510:Experimental mathematics
1371:Experimental Mathematics
999:Experimental Mathematics
712:mathematical coincidence
445:{\displaystyle 1/c^{10}}
383:and references therein).
154:mathematical coincidence
42:: "Mathematics is not a
24:Experimental mathematics
1381:Simon Fraser University
342:finite projective plane
1477:, Vishaal Kapoor, and
1255:Bailey, David (1997).
992:Proofs and Refutations
928:Thomas Callister Hales
832:
779:
672:Visual investigations
660:
541:
446:
330:Various proofs of the
150:mathematical constants
64:Babylonian mathematics
1421:(Links and resources)
1415:(Links and resources)
1235:MIT Technology Review
858:cyclotomic polynomial
833:
759:
685:Möbius transformation
661:
521:
447:
388:many-bodied mechanics
369:hydrogen molecule-ion
231:is searching for new
176:mathematical software
169:distributed computing
986:Computer-aided proof
723:
514:
486:symbolic integration
421:
302:'s discovery of the
167:is being attempted,
124:Tools and techniques
1475:Jonathan M. Borwein
1455:Jonathan M. Borwein
1095:Jonathan M. Borwein
890:computer scientists
740:
454:quantum nonlocality
413:acting on particle
405:acting on particle
332:four colour theorem
316:proof by exhaustion
304:Feigenbaum constant
300:Mitchell Feigenbaum
292:The pattern in the
165:proof by exhaustion
86:Objectives and uses
1489:2015-02-10 at the
1465:2011-06-10 at the
1434:2021-02-13 at the
1321:2011-07-20 at the
1085:2011-09-27 at the
1054:2008-01-21 at the
1026:Weisstein, Eric W.
828:
726:
656:
654:
442:
377:Lambert W function
365:three-body problem
351:requires 17 clues.
217:Collatz conjecture
210:Riemann hypothesis
26:is an approach to
1479:Eric W. Weisstein
1301:978-0-521-35253-6
1151:978-1-56881-211-3
1126:978-1-56881-211-3
823:
798:
647:
611:
592:
579:
557:
478:infinite products
325:Kepler conjecture
313:computer-assisted
130:numerical methods
44:deductive science
1517:
1359:
1357:
1347:
1332:
1326:
1312:
1306:
1305:
1287:
1281:
1278:
1272:
1271:
1261:
1252:
1246:
1245:
1243:
1241:
1226:
1220:
1219:
1185:
1179:
1178:
1162:
1156:
1155:
1137:
1131:
1130:
1112:
1106:
1099:Peter B. Borwein
1080:The Quest for Pi
1077:
1071:
1065:
1059:
1046:
1040:
1039:
1038:
1021:
981:Borwein integral
963:Doron Zeilberger
918:Helaman Ferguson
908:Jonathan Borwein
837:
835:
834:
829:
824:
816:
808:
803:
799:
791:
778:
773:
739:
734:
665:
663:
662:
657:
655:
648:
643:
642:
641:
628:
623:
622:
617:
613:
612:
604:
593:
585:
580:
572:
558:
556:
555:
543:
540:
535:
498:Jonathan Borwein
451:
449:
448:
443:
441:
440:
431:
358:computer algebra
323:'s proof of the
280:dynamical system
276:Lorenz attractor
38:As expressed by
1525:
1524:
1520:
1519:
1518:
1516:
1515:
1514:
1500:
1499:
1491:Wayback Machine
1471:David H. Bailey
1467:Wayback Machine
1451:David H. Bailey
1436:Wayback Machine
1399:David H. Bailey
1367:
1362:
1349:
1339:
1337:
1334:The height of Ί
1333:
1329:
1325:, December 2005
1323:Wayback Machine
1313:
1309:
1302:
1288:
1284:
1279:
1275:
1259:
1253:
1249:
1239:
1237:
1227:
1223:
1208:10.2307/2323798
1186:
1182:
1163:
1159:
1152:
1138:
1134:
1127:
1113:
1109:
1091:David H. Bailey
1087:Wayback Machine
1078:
1074:
1066:
1062:
1056:Wayback Machine
1047:
1043:
1022:
1018:
1014:
977:
972:
958:Stephen Wolfram
903:David H. Bailey
898:Fabrice Bellard
882:
815:
804:
790:
786:
774:
763:
735:
730:
724:
721:
720:
714:
708:
653:
652:
637:
633:
629:
627:
618:
603:
584:
571:
564:
560:
559:
551:
547:
542:
536:
525:
517:
515:
512:
511:
474:infinite series
436:
432:
427:
422:
419:
418:
381:quantum gravity
242:distributed.net
233:Mersenne primes
188:
138:infinite series
126:
88:
60:
52:trial and error
21:
12:
11:
5:
1523:
1513:
1512:
1498:
1497:
1481:
1457:
1444:
1439:
1422:
1416:
1410:
1405:
1392:
1383:
1374:
1366:
1365:External links
1363:
1361:
1360:
1335:
1327:
1307:
1300:
1282:
1273:
1247:
1221:
1202:(4): 305â318.
1180:
1157:
1150:
1132:
1125:
1107:
1072:
1060:
1041:
1015:
1013:
1010:
1009:
1008:
1003:
995:
988:
983:
976:
973:
971:
970:
968:A.J. Han Vinck
965:
960:
955:
953:Eric Weisstein
950:
945:
943:Oren Patashnik
940:
935:
930:
925:
920:
915:
910:
905:
900:
894:
886:mathematicians
884:The following
881:
878:
839:
838:
827:
822:
819:
814:
811:
807:
802:
797:
794:
789:
785:
782:
777:
772:
769:
766:
762:
758:
755:
752:
749:
746:
743:
738:
733:
729:
710:Main article:
707:
704:
703:
702:
701:
700:
689:Schottky group
677:Indra's Pearls
669:
668:
667:
666:
651:
646:
640:
636:
632:
626:
621:
616:
610:
607:
602:
599:
596:
591:
588:
583:
578:
575:
570:
567:
563:
554:
550:
546:
539:
534:
531:
528:
524:
520:
519:
506:
505:
502:PSLQ algorithm
472:Evaluation of
470:
469:
468:
457:
439:
435:
430:
426:
392:time-symmetric
384:
373:generalization
354:
353:
352:
345:
335:
328:
309:
308:
307:
297:
290:
283:
266:
265:
264:
249:
239:
236:
222:
221:
220:
213:
202:
187:
184:
161:counterexample
125:
122:
121:
120:
117:
114:
111:
108:
105:
102:
99:
87:
84:
59:
56:
9:
6:
4:
3:
2:
1522:
1511:
1508:
1507:
1505:
1496:
1492:
1488:
1485:
1482:
1480:
1476:
1472:
1468:
1464:
1461:
1458:
1456:
1452:
1448:
1445:
1443:
1440:
1437:
1433:
1430:
1427:(Alternative
1426:
1423:
1420:
1417:
1414:
1411:
1409:
1406:
1404:
1403:Simon Plouffe
1400:
1396:
1393:
1391:
1387:
1384:
1382:
1378:
1375:
1372:
1369:
1368:
1356:
1352:
1346:
1342:
1331:
1324:
1320:
1317:
1311:
1303:
1297:
1293:
1286:
1277:
1269:
1265:
1258:
1251:
1236:
1232:
1225:
1217:
1213:
1209:
1205:
1201:
1197:
1196:
1191:
1184:
1176:
1172:
1168:
1161:
1153:
1147:
1143:
1136:
1128:
1122:
1118:
1111:
1104:
1103:Simon Plouffe
1100:
1096:
1092:
1088:
1084:
1081:
1076:
1069:
1064:
1057:
1053:
1050:
1045:
1036:
1035:
1030:
1027:
1020:
1016:
1007:
1004:
1002:
1000:
996:
994:
993:
989:
987:
984:
982:
979:
978:
969:
966:
964:
961:
959:
956:
954:
951:
949:
948:Simon Plouffe
946:
944:
941:
939:
936:
934:
931:
929:
926:
924:
923:Ronald Graham
921:
919:
916:
914:
913:David Epstein
911:
909:
906:
904:
901:
899:
896:
895:
893:
891:
887:
880:Practitioners
877:
875:
871:
867:
863:
859:
855:
851:
847:
842:
825:
820:
817:
812:
809:
800:
795:
792:
787:
783:
780:
770:
767:
764:
760:
753:
750:
744:
741:
731:
727:
719:
718:
717:
713:
698:
694:
690:
686:
682:
681:David Mumford
678:
674:
673:
671:
670:
649:
644:
638:
634:
630:
624:
619:
614:
608:
605:
600:
597:
594:
589:
586:
581:
576:
573:
568:
565:
561:
552:
548:
544:
532:
529:
526:
522:
510:
509:
508:
507:
503:
499:
495:
492:(such as the
491:
487:
483:
479:
475:
471:
466:
462:
458:
455:
437:
433:
428:
424:
416:
412:
408:
404:
400:
396:
393:
390:, namely the
389:
385:
382:
378:
374:
370:
367:known as the
366:
362:
361:
359:
355:
350:
346:
343:
339:
336:
333:
329:
326:
322:
319:
318:
317:
314:
310:
305:
301:
298:
295:
291:
288:
284:
281:
277:
273:
272:Edward Lorenz
270:
269:
267:
262:
258:
254:
250:
247:
246:Golomb rulers
243:
240:
237:
234:
230:
226:
225:
223:
218:
214:
211:
207:
203:
200:
196:
195:
193:
192:
191:
183:
181:
177:
172:
170:
166:
162:
157:
155:
151:
147:
143:
139:
135:
131:
118:
115:
112:
109:
106:
103:
100:
97:
96:
95:
92:
83:
81:
77:
73:
67:
65:
55:
53:
49:
45:
41:
36:
34:
29:
25:
19:
1330:
1310:
1291:
1285:
1276:
1267:
1263:
1250:
1238:. Retrieved
1234:
1224:
1199:
1193:
1183:
1170:
1160:
1141:
1135:
1116:
1110:
1075:
1067:
1063:
1044:
1032:
1019:
998:
990:
933:Donald Knuth
883:
873:
869:
865:
861:
853:
849:
843:
840:
715:
696:
414:
410:
406:
402:
401:of particle
372:
344:of order 10.
321:Thomas Hales
294:Ulam numbers
189:
173:
158:
127:
93:
89:
68:
61:
37:
23:
22:
1240:27 November
938:Clement Lam
338:Clement Lam
287:Ulam spiral
40:Paul Halmos
33:conjectures
28:mathematics
1012:References
484:(also see
274:found the
261:SierpiĆski
48:hypotheses
1373:(Journal)
1034:MathWorld
1001:(journal)
818:π
784:
776:∞
761:∏
745:
737:∞
728:∫
635:π
598:⋯
538:∞
523:∑
482:integrals
253:PrimeGrid
134:integrals
1504:Category
1487:Archived
1463:Archived
1432:Archived
1319:Archived
1264:NAS News
1175:Archived
1083:Archived
1052:Archived
975:See also
687:and the
504:in 1993:
461:envelope
263:numbers.
206:ZetaGrid
1355:A160338
1353::
1345:A137979
1343::
1216:2323798
695:which:
375:of the
82:found.
58:History
1298:
1214:
1148:
1123:
846:height
693:groups
349:Sudoku
257:Riesel
1270:(24).
1260:(PDF)
1212:JSTOR
159:If a
80:proof
1453:and
1429:link
1401:and
1351:OEIS
1348:and
1341:OEIS
1336:4745
1296:ISBN
1242:2017
1146:ISBN
1121:ISBN
1101:and
888:and
480:and
285:The
259:and
251:The
227:The
204:The
136:and
1493:at
1469:by
1449:by
1397:by
1388:at
1379:at
1204:doi
1089:by
856:th
781:cos
742:cos
675:In
645:360
1506::
1473:,
1266:.
1262:.
1233:.
1210:.
1200:98
1198:.
1192:.
1173:.
1169:.
1097:,
1093:,
1031:.
679:,
631:17
476:,
438:10
140:.
1438:)
1358:.
1304:.
1268:2
1244:.
1218:.
1206::
1154:.
1129:.
1105:.
1037:.
874:n
870:n
866:n
862:n
854:n
850:x
826:.
821:8
813:=
810:x
806:d
801:)
796:n
793:x
788:(
771:1
768:=
765:n
757:)
754:x
751:2
748:(
732:0
699:.
650:.
639:4
625:=
620:2
615:)
609:k
606:1
601:+
595:+
590:3
587:1
582:+
577:2
574:1
569:+
566:1
562:(
553:2
549:k
545:1
533:1
530:=
527:k
456:.
434:c
429:/
425:1
415:j
411:i
407:i
403:j
334:.
327:.
248:.
235:.
219:.
212:.
201:.
76:Ï
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.