Given a decimal number, are there tools [1] to give suggestions like "oh, that looks like sqrt(2)/2"? I'm imagining something like OEIS for decimal numbers, but maybe that's the wrong way to frame the question. #maths #DecimalApproximations #InverseProblems

[1] Ideally that I can run on my own computer.