定理リンカー定理ラテックスを使用して書かれた論文間の参照を視覚化するために使用するプログラムです。.Tex ドキュメント （およびラテックス コンパイラによって作成される *.aux ファイル) を使用して、定理リンカー紙を介して検索、定理を見つけるされ他の定理の定理の「証拠」内への参照を見つけます。次各定理をノードとして定理の関係を記述する監督のエッジを表示する (Graphviz や !OmniGraffle などのプログラムで開くことが、.dot ファイル) で、有向グラフを作成します。赤で強調表示パス グラフの最長パスをについて説明します。定理リンカーも個別に各定理の関係で紙を表示するグラフを含むフォルダーを作成します。
