Algorithm to convert rendered number back into symbolic form
RIES is another method for finding closed-form expressions; its web page describes the algorithm it uses.

If you do a Google search for algorithm for inverse symbolic calculator, you will find Wikipedia's page on algorithms for finding integer relations between multiple real numbers (as the page describes, you look for an integer relation between $x$, the number you care about, and a list of other standard mathematical constants).