WolframAlpha computational knowledge AI
x^2+2ix+3<0