Show simple item record

dc.contributor.authorNaumov, Pavelen_US
dc.date.accessioned2007-04-23T18:13:28Z
dc.date.available2007-04-23T18:13:28Z
dc.date.issued1998-06en_US
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR98-1689en_US
dc.identifier.urihttps://hdl.handle.net/1813/7343
dc.description.abstractPaper 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.en_US
dc.format.extent315249 bytes
dc.format.extent1917750 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titlePublishing Formal Mathematics on the Weben_US
dc.typetechnical reporten_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics