Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms Bill NaylorStephen Watt OriginalPaper Pages: 3 - 25
Mathematical Knowledge Management in HELM Andrea AspertiLuca PadovaniIrene Schena OriginalPaper Pages: 27 - 46
Knowledge Representation and Management in ACTIVEMATH The ACTIVEMATH groupErica MelisCarsten Ullrich OriginalPaper Pages: 47 - 64
Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry F. FürstM. LeclèreF. Trichet OriginalPaper Pages: 65 - 89
On Dynamically Presenting a Topology Course Paul CairnsJeremy GowPeter Collins OriginalPaper Pages: 91 - 104
Technical Aspects of the Digital Library of Mathematical Functions Bruce R. MillerAbdou Youssef OriginalPaper Pages: 121 - 136
How to Build a Prototype for a Distributed Digital Mathematics Archive Library Gerhard O. Michler OriginalPaper Pages: 137 - 164
An Overview of a Formal Framework for Managing Mathematics William M. FarmerMartin v. Mohrenschildt OriginalPaper Pages: 165 - 191
Designing Mathematical Libraries Based on Requirements for Theorems Christoph Schwarzweller OriginalPaper Pages: 193 - 209
Automated Deduction Techniques for the Management of Personalized Documents Peter BaumgartnerUlrich Furbach OriginalPaper Pages: 211 - 228