1. Preface

   • Bruno Buchberger
   • Gaston Gonnet
   • Michiel Hazewinkel

   Preface Pages: 1 - 2

2. Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms

   • Bill Naylor
   • Stephen Watt

   OriginalPaper Pages: 3 - 25

3. Mathematical Knowledge Management in HELM

   • Andrea Asperti
   • Luca Padovani
   • Irene Schena

   OriginalPaper Pages: 27 - 46

4. Knowledge Representation and Management in ACTIVEMATH

   • The ACTIVEMATH group
   • Erica Melis
   • Carsten Ullrich

   OriginalPaper Pages: 47 - 64

5. Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry

   • F. Fürst
   • M. Leclère
   • F. Trichet

   OriginalPaper Pages: 65 - 89

6. On Dynamically Presenting a Topology Course

   • Paul Cairns
   • Jeremy Gow
   • Peter Collins

   OriginalPaper Pages: 91 - 104

7. NIST Digital Library of Mathematical Functions

   • Daniel W. Lozier

   OriginalPaper Pages: 105 - 119

8. Technical Aspects of the Digital Library of Mathematical Functions

   • Bruce R. Miller
   • Abdou Youssef

   OriginalPaper Pages: 121 - 136

9. How to Build a Prototype for a Distributed Digital Mathematics Archive Library

   • Gerhard O. Michler

   OriginalPaper Pages: 137 - 164

10. An Overview of a Formal Framework for Managing Mathematics

    • William M. Farmer
    • Martin v. Mohrenschildt

    OriginalPaper Pages: 165 - 191

11. Designing Mathematical Libraries Based on Requirements for Theorems

    • Christoph Schwarzweller

    OriginalPaper Pages: 193 - 209

12. Automated Deduction Techniques for the Management of Personalized Documents

    • Peter Baumgartner
    • Ulrich Furbach

    OriginalPaper Pages: 211 - 228

13. Annals of Mathematics and Artificial Intelligence

    Volume Contents Pages: 229 - 232