Skip to main content
PRL Project

Anchoring Expository Text in Formal Mathematics -- Part II

by Stuart F. Allen

As a sequel to the Dec 6, 2004 PRL seminar, we discuss various web services we hope to implement for web-publishing formal and expository content from the FDL. Keywords for concepts to be discussed: Semantic Anchoring, Formal Reference, Dynamic Documents, Editions, Structured Offprint