Navigation in Mathematical Documents


Mathematical documents are not only hard but fun to write, they are equally hard but fun to read. Unfortunately, the “fun” part comes only in, when one has mastered the art of using mathematical vernacular and grasped all relevant context dimensions. Even though this seems an immanent issue for mathematical authors only, it is also for mathematical readers. In this paper, we argue for the need for more reader assistance in mathematical documents. In particular, we believe navigation to be a top candidate in this regard. Thus, we elaborate design opportunities for (semantically) helping the reader to navigate, which we anchor around the PlanetMath website.

[PDF] Kohlhase-Math-Doc-Navigation-MathUI12.pdf