Mathematica はStephen Wolframの計算領域の探索と，Wolfram Science (NKS)の新たな分野を可能にするツールである．モデル化，アルゴリズムの発見，NKSの基本のいずれにおいてでも，Mathematica には広範に渡る計算システムの体系的研究のための即座に使える組込み機能がある．
関連するWebリソース
CellularAutomaton — 1D，2D等における一般セルオートマトン
TuringMachine — 1D，2D等における一般チューリングマシン
expr/.rule — 規則を適用する
NestList — 関数または進化の規則を繰返し適用する
NestWhileList — ループまたは終了を確認している間に繰り返す
StringReplace，StringReplaceList — 置換，多重システムを書き換える
ArrayFlatten — 2D置換システムなどのステップを平坦化する
ArrayPlot，ListPlot — データの配列を可視化する
GraphPlot，TreePlot — ネットワークを可視化する
FindSequenceFunction — 整数列の関数形式を求める
BooleanFunction ▪ BooleanTable ▪ BooleanConvert ▪ ...
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »
