Experimental mathematics is an approach to

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

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 experimental (in either the Galilean, Baconian, Aristotelian or Kantian sense) exploration of

conjecture In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in ...

s and more informal beliefs and a careful analysis of the data acquired in this pursuit." As expressed by

Paul Halmos Paul Richard Halmos ( hu, Halmos Pál; March 3, 1916 – October 2, 2006) was a Hungarian-born American mathematician and statistician who made fundamental advances in the areas of mathematical logic, probability theory, statistics, operator ...

: "Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the

hypotheses A hypothesis (plural hypotheses) is a proposed explanation for a phenomenon. For a hypothesis to be a scientific hypothesis, the scientific method requires that one can test it. Scientists generally base scientific hypotheses on previous obse ...

, and then start to reason. What you do is trial and error, 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."

History

Mathematicians have always practiced experimental mathematics. Existing records of early mathematics, such as

Babylonian mathematics Babylonian mathematics (also known as ''Assyro-Babylonian mathematics'') are the mathematics developed or practiced by the people of Mesopotamia, from the days of the early Sumerians to the centuries following the fall of Babylon in 539 BC. Babyl ...

, 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. 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 significant milestone and achievement of experimental mathematics was the discovery in 1995 of the

Bailey–Borwein–Plouffe formula The Bailey–Borwein–Plouffe formula (BBP formula) is a formula for . It was discovered in 1995 by Simon Plouffe and is named after the authors of the article in which it was published, David H. Bailey, Peter Borwein, and Plouffe. Before that, ...

for the binary digits of π. This formula was discovered not by formal reasoning, but instead by numerical searches on a computer; only afterwards was a rigorous

proof Proof most often refers to: * Proof (truth), argument or sufficient evidence for the truth of a proposition * Alcohol proof, a measure of an alcoholic drink's strength Proof may also refer to: Mathematics and formal logic * Formal proof, a c ...

found.

Objectives and uses

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". The uses of experimental mathematics have been defined as follows: #Gaining insight and intuition. #Discovering new patterns and relationships. #Using graphical displays to suggest underlying mathematical principles. #Testing and especially falsifying conjectures. #Exploring a possible result to see if it is worth formal proof. #Suggesting approaches for formal proof. #Replacing lengthy hand derivations with computer-based derivations. #Confirming analytically derived results.

Tools and techniques

Experimental mathematics makes use of numerical methods to calculate approximate values for

integral In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with ...

s and

infinite series In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...

Arbitrary precision arithmetic In computer science, arbitrary-precision arithmetic, also called bignum arithmetic, multiple-precision arithmetic, or sometimes infinite-precision arithmetic, indicates that calculations are performed on numbers whose digits of precision are li ...

is often used to establish these values to a high degree of precision – typically 100 significant figures or more. Integer relation algorithms are then used to search for relations between these values and

mathematical constant A mathematical constant is a key number whose value is fixed by an unambiguous definition, often referred to by a symbol (e.g., an alphabet letter), or by mathematicians' names to facilitate using it across multiple mathematical problems. Cons ...

s. Working with high precision values reduces the possibility of mistaking a mathematical coincidence 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. If a

counterexample A counterexample is any exception to a generalization. In logic a counterexample disproves the generalization, and does so rigorously in the fields of mathematics and philosophy. For example, the fact that "John Smith is not a lazy student" is a ...

is being sought or a large-scale proof by exhaustion is being attempted,

distributed computing A distributed system is a system whose components are located on different networked computers, which communicate and coordinate their actions by passing messages to one another from any system. Distributed computing is a field of computer sci ...

techniques may be used to divide the calculations between multiple computers. Frequent use is made of general mathematical software or domain-specific software written for attacks on problems that require high efficiency. Experimental mathematics software usually includes

error detection and correction In information theory and coding theory with applications in computer science and telecommunication, error detection and correction (EDAC) or error control are techniques that enable reliable delivery of digital data over unreliable commu ...

mechanisms, integrity checks and redundant calculations designed to minimise the possibility of results being invalidated by a hardware or software error.

Applications and examples

Applications and examples of experimental mathematics include: *Searching for a counterexample to a conjecture **Roger Frye used experimental mathematics techniques to find the smallest counterexample to Euler's sum of powers conjecture. **The

ZetaGrid ZetaGrid was at one time the largest distributed computing project, designed to explore the non-trivial roots of the Riemann zeta function, checking over one billion roots a day. Roots of the zeta function are of particular interest in mathem ...

project was set up to search for a counterexample to the

Riemann hypothesis In mathematics, the Riemann hypothesis is the conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part . Many consider it to be the most important unsolved problem in p ...

. **Tomás Oliveira e Silva searched for a counterexample to the

Collatz conjecture The Collatz conjecture is one of the most famous unsolved problems in mathematics. The conjecture asks whether repeating two simple arithmetic operations will eventually transform every positive integer into 1. It concerns sequences of integ ...

. *Finding new examples of numbers or objects with particular properties **The

Great Internet Mersenne Prime Search The Great Internet Mersenne Prime Search (GIMPS) is a collaborative project of volunteers who use freely available software to search for Mersenne prime numbers. GIMPS was founded in 1996 by George Woltman, who also wrote the Prime95 client a ...

is searching for new

Mersenne prime In mathematics, a Mersenne prime is a prime number that is one less than a power of two. That is, it is a prime number of the form for some integer . They are named after Marin Mersenne, a French Minim friar, who studied them in the early 17 ...

s. **The Great Periodic Path Hunt is searching for new periodic paths. **The distributed.net's OGR project is searching for optimal Golomb rulers. **The

Riesel Sieve Riesel Sieve was a volunteer computing project, running in part on the BOINC platform. Its aim was to prove that 509,203 is the smallest Riesel number, by finding a prime of the form for all odd smaller than 509,203. Progress At the start of th ...

project is searching for the smallest

Riesel number In mathematics, a Riesel number is an odd natural number ''k'' for which k\times2^n-1 is composite for all natural numbers ''n'' . In other words, when ''k'' is a Riesel number, all members of the following set are composite: :\left\. If the fo ...

. **The

Seventeen or Bust Seventeen or Bust was a volunteer computing project started in March 2002 to solve the last seventeen cases in the Sierpinski problem. The project solved eleven cases before a server loss in April 2016 forced it to cease operations. Work on the ...

project is searching for the smallest Sierpinski number. *Finding serendipitous numerical patterns ** Edward Lorenz found the

Lorenz attractor The Lorenz system is a system of ordinary differential equations first studied by mathematician and meteorologist Edward Lorenz. It is notable for having chaotic solutions for certain parameter values and initial conditions. In particular, the L ...

, an early example of a chaotic

dynamical system In mathematics, a dynamical system is a system in which a function describes the time dependence of a point in an ambient space. Examples include the mathematical models that describe the swinging of a clock pendulum, the flow of water i ...

, by investigating anomalous behaviours in a numerical weather model. **The Ulam spiral was discovered by accident. **The pattern in the

Ulam number In mathematics, the Ulam numbers comprise an integer sequence devised by and named after Stanislaw Ulam, who introduced it in 1964. The standard Ulam sequence (the (1, 2)-Ulam sequence) starts with ''U''1 = 1 and ''U''2 =&nb ...

s was discovered by accident. ** Mitchell Feigenbaum's discovery of the Feigenbaum constant was based initially on numerical observations, followed by a rigorous proof. *Use of computer programs to check a large but finite number of cases to complete a computer-assisted proof by exhaustion ** Thomas Hales's proof of the

Kepler conjecture The Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical theorem about sphere packing in three-dimensional Euclidean space. It states that no arrangement of equally sized spheres filling s ...

. **Various proofs of the four colour theorem. ** Clement Lam's proof of the non-existence of a

finite projective plane In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that d ...

of order 10. **Gary McGuire proved a minimum uniquely solvable

Sudoku Sudoku (; ja, 数独, sūdoku, digit-single; originally called Number Place) is a logic-based, combinatorial number-placement puzzle. In classic Sudoku, the objective is to fill a 9 × 9 grid with digits so that each column, each row ...

requires 17 clues. *Symbolic validation (via

computer algebra In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions ...

) of conjectures to motivate the search for an analytical proof **Solutions to a special case of the quantum

three-body problem In physics and classical mechanics, the three-body problem is the problem of taking the initial positions and velocities (or momenta) of three point masses and solving for their subsequent motion according to Newton's laws of motion and Newton's ...

known as the

hydrogen molecule-ion The dihydrogen cation or hydrogen molecular ion is a cation (positive ion) with formula . It consists of two hydrogen nuclei (protons) sharing a single electron. It is the simplest molecular ion. The ion can be formed from the ionization of a ne ...

were found standard quantum chemistry basis sets before realizing they all lead to the same unique analytical solution in terms of a ''generalization'' of the Lambert W function. Related to this work is the isolation of a previously unknown link between gravity theory and quantum mechanics in lower dimensions (see

quantum gravity Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics; it deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the vi ...

and references therein). **In the realm of relativistic many-bodied mechanics, namely the time-symmetric

Wheeler–Feynman absorber theory The Wheeler–Feynman absorber theory (also called the Wheeler–Feynman time-symmetric theory), named after its originators, the physicists Richard Feynman and John Archibald Wheeler, is an interpretation of electrodynamics derived from the assu ...

: the equivalence between an advanced

Liénard–Wiechert potential The Liénard–Wiechert potentials describe the classical electromagnetic effect of a moving electric point charge in terms of a vector potential and a scalar potential in the Lorenz gauge. Stemming directly from Maxwell's equations, these desc ...

of particle ''j'' acting on particle ''i'' and the corresponding potential for particle ''i'' acting on particle ''j'' was demonstrated exhaustively to order

1/c^

before being proved mathematically. The Wheeler-Feynman theory has regained interest because of quantum nonlocality. **In the realm of linear optics, verification of the series expansion of the

envelope An envelope is a common packaging item, usually made of thin, flat material. It is designed to contain a flat object, such as a letter or card. Traditional envelopes are made from sheets of paper cut to one of three shapes: a rhombus, a ...

of the electric field for ultrashort light pulses travelling in non isotropic media. Previous expansions had been incomplete: the outcome revealed an extra term vindicated by experiment. *Evaluation of

infinite product In mathematics, for a sequence of complex numbers ''a''1, ''a''2, ''a''3, ... the infinite product : \prod_^ a_n = a_1 a_2 a_3 \cdots is defined to be the limit of the partial products ''a''1''a''2...''a'n'' as ''n'' increases without bound. ...

s and

s (also see

symbolic integration In calculus, symbolic integration is the problem of finding a formula for the antiderivative, or ''indefinite integral'', of a given function ''f''(''x''), i.e. to find a differentiable function ''F''(''x'') such that :\frac = f(x). This is a ...

), typically by carrying out a high precision numerical calculation, and then using an integer relation algorithm (such as the Inverse Symbolic Calculator) 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

Jonathan Borwein Jonathan Michael Borwein (20 May 1951 – 2 August 2016) was a Scottish mathematician who held an appointment as Laureate Professor of mathematics at the University of Newcastle, Australia. He was a close associate of David H. Bailey, and the ...

using computer search and PSLQ algorithm in 1993: ::

\begin
\sum_^\infty \frac\left(1+\frac+\frac+\cdots+\frac\right)^2 = \frac.
\end

*Visual investigations **In Indra's Pearls,

David Mumford David Bryant Mumford (born 11 June 1937) is an American mathematician known for his work in algebraic geometry and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded t ...

and others investigated various properties of

Möbius transformation In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form f(z) = \frac of one complex variable ''z''; here the coefficients ''a'', ''b'', ''c'', ''d'' are complex numbers satisfying ''ad' ...

and the

Schottky group In mathematics, a Schottky group is a special sort of Kleinian group, first studied by . Definition Fix some point ''p'' on the Riemann sphere. Each Jordan curve not passing through ''p'' divides the Riemann sphere into two pieces, and we c ...

using computer generated images of the

groups A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic ide ...

which: ''furnished convincing evidence for many conjectures and lures to further exploration''.

Plausible but false examples

Some plausible relations hold to a high degree of accuracy, but are still not true. One example is: :

\int_^\cos(2x)\prod_^\cos\left(\frac\right)\mathrmx = \frac.

The two sides of this expression actually differ after the 42nd decimal place.David H. Bailey and Jonathan M. Borwein
Future Prospects for Computer-Assisted Mathematics
December 2005 Another example is that the maximum

height Height is measure of vertical distance, either vertical extent (how "tall" something or someone is) or vertical position (how "high" a point is). For example, "The height of that building is 50 m" or "The height of an airplane in-flight is ab ...

(maximum absolute value of coefficients) of all the factors of ''x''^''n'' − 1 appears to be the same as the height of the ''n''th

cyclotomic polynomial In mathematics, the ''n''th cyclotomic polynomial, for any positive integer ''n'', is the unique irreducible polynomial with integer coefficients that is a divisor of x^n-1 and is not a divisor of x^k-1 for any Its roots are all ''n''th primitiv ...

. This was shown by computer to be true for ''n'' < 10000 and was expected to be true for all ''n''. However, a larger computer search showed that this equality fails to hold for ''n'' = 14235, when the height of the ''n''th cyclotomic polynomial is 2, but maximum height of the factors is 3.The height of Φ₄₇₄₅ is 3 and 14235 = 3 x 4745. See Sloane sequences and .

Practitioners

The following

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

s and

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (a ...

s have made significant contributions to the field of experimental mathematics: *

Fabrice Bellard Fabrice Bellard (; born 1972) is a French computer programmer known for writing FFmpeg, QEMU, and the Tiny C Compiler. He developed Bellard's formula for calculating single digits of pi. In 2012, Bellard co-founded Amarisoft, a telecommunicat ...

* David H. Bailey *

* David Epstein * Helaman Ferguson * Ronald Graham * Thomas Callister Hales *

Donald Knuth Donald Ervin Knuth ( ; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer sc ...

* Clement Lam *

Oren Patashnik Oren Patashnik (born 1954) is an American computer scientist. He is notable for co-creating BibTeX, and co-writing '' Concrete Mathematics: A Foundation for Computer Science''. He is a researcher at the Center for Communications Research, La Jol ...

* Simon Plouffe * Eric Weisstein *

Stephen Wolfram Stephen Wolfram (; born 29 August 1959) is a British-American computer scientist, physicist, and businessman. He is known for his work in computer science, mathematics, and theoretical physics. In 2012, he was named a fellow of the American Ma ...

Doron Zeilberger Doron Zeilberger (דורון ציילברגר, born 2 July 1950 in Haifa, Israel) is an Israeli mathematician, known for his work in combinatorics. Education and career He received his doctorate from the Weizmann Institute of Science in 1976, u ...

A.J. Han Vinck Adrianus Johannes "Han" Vinck (born 15 May 1949, in Breda) is a Dutch computer scientist. He serves as senior professor in Digital Communications at the University of Duisburg-Essen, Germany, since September 2014. He is a member of the digital ...

References

{{reflist, 2

External links

Experimental Mathematics
(Journal)
Centre for Experimental and Constructive Mathematics (CECM)
at

Simon Fraser University Simon Fraser University (SFU) is a public research university in British Columbia, Canada, with three campuses, all in Greater Vancouver: Burnaby (main campus), Surrey, and Vancouver. The main Burnaby campus on Burnaby Mountain, located ...

Collaborative Group for Research in Mathematics Education
at

University of Southampton , mottoeng = The Heights Yield to Endeavour , type = Public research university , established = 1862 – Hartley Institution1902 – Hartley University College1913 – Southampton University Coll ...

Recognizing Numerical Constants
by David H. Bailey and Simon Plouffe
Psychology of Experimental Mathematics

Experimental Mathematics Website
(Links and resources)
The Great Periodic Path Hunt Website
(Links and resources)
An Algorithm for the Ages: PSLQ, A Better Way to Find Integer Relations
(Alternativ

Experimental Algorithmic Information Theory

Sample Problems of Experimental Mathematics
by David H. Bailey and Jonathan M. Borwein
Ten Problems in Experimental Mathematics
by David H. Bailey, Jonathan M. Borwein, Vishaal Kapoor, and

Eric W. Weisstein Eric Wolfgang Weisstein (born March 18, 1969) is an American mathematician and encyclopedist who created and maintains the encyclopedias ''MathWorld'' and ''ScienceWorld''. In addition, he is the author of the '' CRC Concise Encyclopedia of M ...

Institute for Experimental Mathematics
at

University of Duisburg-Essen The University of Duisburg-Essen (german: link=no, Universität Duisburg-Essen) is a public research university in North Rhine-Westphalia, Germany. In the 2019 ''Times Higher Education World University Rankings'', the university was awarded ...

History

Objectives and uses

Tools and techniques

Applications and examples

Plausible but false examples

Practitioners

See also

References

External links