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