試験的関数パッケージ

ExistsRealQ — 指定された不等式を満足するような実数値が存在するかどうか

ForAllRealQ — 指定された不等式がすべての実数値について満足するかどうか

ImpliesRealQ — 1つの不等式集合がすべての実数値について他の不等式集合を含意するかどうか

ImpliesQ — 1つの式が他の式を含意するかどうか

CompileEvaluate — 式をコンパイルしてから結果のコードを評価する

ValueFunction — 指定されたシンボルが新しい値を得るたびに適用される関数

• 論理演算とブール代数
• 時間の測定と最適化
• 調整とデバッグ