WolframAlpha computational knowledge AI
solve x^2-4=0