The Inverse Symbolic Calculator (ISC) uses a combination of lookup tables and integer relation algorithms in order to associate with a user-defined, truncated decimal expansion (represented as a floating point expression) a closed form representation for the real number.