|
Experimental`ImpliesRealQ
 ImpliesRealQ[ ,  ] tests whether the inequalities and equations  imply the  for all real values of all variables.
See also: ForAllRealQ, ExistsRealQ, ImpliesQ, CylindricalAlgebraicDecomposition.
Note: this is an experimental feature, and in future versions of Mathematica it may not be supported, or may have a different specification.
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT. SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION. | |
