  There are now several comprehensive web applications, stand-alone computer
programs and computer algebra functions that, given a floating point number
such as 6.518670730718491, can return concise nonfloat constants such as 3
arctan 2 + ln 9 + 1, that closely approximate the float. Examples include
AskConstants, Inverse Symbolic Calculator, the Maple identify function,
MESearch, OEIS, RIES, and WolframAlpha. Usefully often such a result is the
exact limit as the float is computed with increasing precision. Therefore these
program results are candidates for proving an exact result that you could not
otherwise compute or conjecture without the program. Moreover, candidates that
are not the exact limit can be provable bounds, or convey qualitative insight,
or suggest series that they truncate, or provide sufficiently close efficient
approximations for subsequent computation. This article describes some of these
programs, how they work, and how best to use each of them. Almost everyone who
uses or should use mathematical software can benefit from acquaintance with
several such programs, because these programs differ in the sets of constants
that they can return.
