|
Experimental`ExistsRealQ
ExistsRealQ[ineqs,  , , ... ] tests whether there exist real values of the for which the inequalities and equations ineqs are satisfied.
See also: ForAllRealQ, ImpliesRealQ, FindInstance, Eliminate, CylindricalDecomposition.
Further Examples
|