WolframAlpha computational knowledge AI
is x^2 injective on x>0