# Software, techniques and tricks of experimental mathematics to conjecture possible closed forms

It often happens that people conjecture possible closed forms of integrals, series, and so on starting from a numerical value calculated to very high precision.

What are the techniques, tricks, methods, and softwares (in particular, what are the function of Mathematica and Maple) that help in formulating such conjectures?

Any reference is highly appreciated.

• en.wikipedia.org/wiki/Inverse_Symbolic_Calculator Commented Oct 13, 2014 at 20:22
• Note that I've added a bounty because the question has been edited to have a broader scope (compared to when it was first answered).
– Dal
Commented Oct 20, 2014 at 11:32
• I don't know whether this technique is not meant: I've often related values gotten by approximations, and the first step is then to look at the arithmetic or geometric progression and remove parts of the numbers to come nearer to the common core. This can help much to enter the correct path to go. Commented Oct 26, 2014 at 4:37

Here are a few books as stated in this answer:

The first two books reference each other, so I recommend having both on hand. The third is in my reading queue. All are by Jonathan Borwein and David Bailey.
Experimentation in Mathematics
Mathematics by Experiment
Experimental Mathematics in Action

These books cover Mathematica, Maple, and many other tools.

Edit After reading the third book, I suggest you read it first.

• I didn't realize @Dal had posed the other question when I posted this answer. Oh, well... Commented Oct 20, 2014 at 11:56

Need 30 characters..................

Is there a function in Mathematica or any other software that allows you to find closed forms for decimal numbers calculated with high precision?

• Maple has the identify command. The Inverse Symbolic Calculator is based on Maple.

• In Mathematica, there are Rationalize and Recognize, the latter of which requires the installation and appellation of the NumberTheory package. But they are only useful for either rational or algebraic numbers, and cannot identify transcendental expressions. Newer versions, however, do include commands like

WolframAlpha["...", IncludePods -> "PossibleClosedForm", AppearanceElements -> {"Pods"}]

• @mathlearner: That would depend on your specific version. In older ones, go to the Mathematica folder, and check for ...\AddOns\StandardPackages\NumberTheory\.... If it's already there, and it contains the files Rationalize.m and Recognize.m, then all you have to do is appellate it from the program $($just go to Help $\to$ Master Index, and type in Recognize: you'll find there all the necessary information$)$. If not, then it has to be copied there from another location, which is also found inside the Mathematica folder. Commented Oct 14, 2014 at 15:58