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