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