強化されたタイプセットの自動化

Mathematica 7では，数学のタイプセットにおける新しいレベルの自動化を導入している．20年に渡る経験に基づいて，Mathematica 7ではWolfram Researchで開発された多くの新しいアルゴリズムとヒューリスティックを使い，数学専門家によって書かれた手作りの数学の明確さと上品さを示す慣用的な数学表記を生成するが，これを任意的に大きな規模で行う．

多項式，有理式，関数等の従来の最適な順序付けに対する広範なヒューリスティック »

インラインあるいは組込みの分数，指数，導関数等のために最適化されたヒューリスティック

編集された，あるいは入力された慣用的な数学表記を認識するための拡張された機能

慣用表記で表示される関数を識別する自動ツールチップ

ダミー変数を表すために使用された「公式のシンボル」文字の新しいファミリ »

純関数のための新しい表記法 »

離散差分および他の離散微積分の演算子のための特別な表記法 »

追加されたブール演算子用の特別な表記法 »


最適な可読性のための多項式の自動並べ替え	任意累乗の一貫した順序付けの維持	三角式を並べる特別規則の使用

最大の可読性のための複雑な式の並べ替え	特殊関数の並べ替えにヒューリスティックを使用	関連する変数および関数を自動的に強調

関数に注釈を付けるためにツールチップを自動生成	導関数および微分方程式を教科書に出てくるようにタイプセット	新しいタイプセット演算子

形式的なシンボルに一貫した表記を使用