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
