How to get true when introducing the expression $x^2 \geq 0$ in mathematica ? how do I specify that x is real ?
GreaterEqual[x^2, 0, Element[x, Reals]]
Mathematica Stack Exchange is a question and answer site for users of Wolfram Mathematica. It only takes a minute to sign up.Sign up to join this community