Mathematica 9 is now available

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

Experimental`ImpliesRealQ

FilledSmallSquare ImpliesRealQ[, ] tests whether the inequalities and equations imply the for all real values of all variables.

FilledSmallSquare See also: ForAllRealQ, ExistsRealQ, ImpliesQ, CylindricalDecomposition.

Further Examples



Any questions about topics on this page? Click here to get an individual response.Buy NowMore Information
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.