New answers tagged


I think the logic for why this happens goes as follows. Start with a simple example: Resolve[ForAll[x, x^2 >= 0]] (* ==> True *) This can be explained because Resolve implicitly assumes that x is real because it appears in an inequality. The documentation for Resolve states this. On the other hand, the inequality isn't changed if we introduce a ...

Top 50 recent answers are included