試験的関数パッケージには，将来の
Mathematica のバージョンに正式に含むことを検討中の関数が含まれている．
ExistsRealQ — 指定された不等式を満足するような実数値が存在するかどうか
ForAllRealQ — 指定された不等式がすべての実数値について満足するかどうか
ImpliesRealQ — 1つの不等式集合がすべての実数値について他の不等式集合を含意するかどうか
ImpliesQ — 1つの式が他の式を含意するかどうか
CompileEvaluate — 式をコンパイルしてから結果のコードを評価する
ValueFunction — 指定されたシンボルが新しい値を得るたびに適用される関数
