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

• 
  Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino: Inferring Minimal Functional Dependencies in Horn and q-Horn Theories. 233-255
• 
  A. C. Cem Say: Sound and Complete Qualitative Simulation Needs "Quantitative" Filtering. 257-267
• 
  Tolga Könik, A. C. Cem Say: Duration Consistency Filtering for Qualitative Simulation. 269-309

last updated on Sun May 26 04:29:18 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page