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