WolframAlpha computational knowledge AI
solve -x^2+3=4 for x