This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

Documentation / Mathematica / The Mathematica Book / Mathematica Reference Guide / Experimental Context Objects in Mathematica 5 /

Experimental`ExistsRealQ

FilledSmallSquare ExistsRealQ[ineqs, , , ... ] tests whether there exist real values of the for which the inequalities and equations ineqs are satisfied.

FilledSmallSquare See also: ForAllRealQ, ImpliesRealQ, FindInstance, Eliminate, CylindricalDecomposition.

Further Examples