1 | -- | 2 | Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel. Preface |
3 | -- | 25 | Bill Naylor, Stephen M. Watt. Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms |
27 | -- | 46 | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena. Mathematical Knowledge Management in HELM |
47 | -- | 64 | Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich. Knowledge Representation and Management in ACTIVEMATH |
65 | -- | 89 | Frédéric Fürst, Michel Leclère, Francky Trichet. Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry |
91 | -- | 104 | Paul A. Cairns, Jeremy Gow, Peter Collins. On Dynamically Presenting a Topology Course |
105 | -- | 119 | Daniel W. Lozier. NIST Digital Library of Mathematical Functions |
121 | -- | 136 | Bruce R. Miller, Abdou Youssef. Technical Aspects of the Digital Library of Mathematical Functions |
137 | -- | 164 | Gerhard O. Michler. How to Build a Prototype for a Distributed Digital Mathematics Archive Library |
165 | -- | 191 | William M. Farmer, Martin von Mohrenschildt. An Overview of a Formal Framework for Managing Mathematics |
193 | -- | 209 | Christoph Schwarzweller. Designing Mathematical Libraries Based on Requirements for Theorems |
211 | -- | 228 | Peter Baumgartner, Ulrich Furbach. Automated Deduction Techniques for the Management of Personalized Documents |