Experimental Functions Package

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

• Logic & Boolean Algebra
• Time Measurement & Optimization
• Tuning & Debugging