This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Experimental Functions Package
The Experimental Functions Package contains functions that are being considered for official inclusion in future versions of Mathematica.
ExistsRealQ whether there exist real values for which the given inequalities are satisfied
ForAllRealQ whether the given inequalities are satisfied for all real values
ImpliesRealQ whether one set of inequalities implies another for all real values
ImpliesQ whether one expression implies another
CompileEvaluate compile an expression and then evaluate the resulting code
ValueFunction function to be applied whenever a given symbol gets a new value