Annals of Mathematics and Artificial Intelligence, Volume 38

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 update Sat May 25 15:27:04 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page