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