WolframAlpha computational knowledge AI
continued fraction theorems for sqrt(7)