15. The apparatus of claim 14 wherein the dependency graph is a directed acyclic graph.
15. The apparatus of claim 14 wherein the dependency graph is a directed acyclic graph. 16. The apparatus of claim 15 wherein the directed acyclic graph comprises a plurality of nodes, each node representing one expression in the mathematical document.