WolframAlpha computational knowledge AI
2xy >= (x^2−y^2)