Publishing Formal Mathematics on the Web
Pavel Naumov · eCommons (Cornell University) · 1998
Paper describes the design of the Nuprl Web Publisher - an automated tool for converting formal, computer-generated, mathematical texts into a set of hyper-linked HTML pages that preserves original, non-linear, text structure. The current version of the Web Publisher, also developed by the author, provides access to term structure of the displayed formulas and links to definitions of abstractions used in these formulas.