Is there a simple way in Mathematica to check under what conditions an expression (involving multiple variables) falls within a given range? For example, say I had a real-valued function f(x,y,z), where x,y,z are real numbers. I want to find the set S such that f(x,y,z) > 0 whenever (x,y,z) are contained in S. Is there a way to do this?
Tutorial The Representation of Solution Sets is a great start. Generally it depends on
Examples of usage:
1) A multivariate polynomial inequality:
2) Systems of polynomial equations and inequalities can always be reduced:
Mathematica has also related visualizations and some interesting functions, like
To check points indeed belong to solid: