Experimental Functions Package

The Experimental Functions Package contains functions that are being considered for official inclusion in future versions of the Wolfram Language.

ReferenceReference

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