Annals of Mathematics and Artificial Intelligence

Preface

Bruno Buchberger, Gaston Gonnet, Michiel Hazewinkel

Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms

Bill Naylor, Stephen Watt

Mathematical Knowledge Management in HELM

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena

Knowledge Representation and Management in ACTIVEMATH

The ACTIVEMATH group, Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht, Carsten Ullrich

Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry

F. Fürst, M. Leclère, F. Trichet

On Dynamically Presenting a Topology Course

Paul Cairns, Jeremy Gow, Peter Collins

NIST Digital Library of Mathematical Functions

Daniel W. Lozier

Technical Aspects of the Digital Library of Mathematical Functions

Bruce R. Miller, Abdou Youssef

How to Build a Prototype for a Distributed Digital Mathematics Archive Library

Gerhard O. Michler

An Overview of a Formal Framework for Managing Mathematics

William M. Farmer, Martin v. Mohrenschildt

Designing Mathematical Libraries Based on Requirements for Theorems

Christoph Schwarzweller

Automated Deduction Techniques for the Management of Personalized Documents

Peter Baumgartner, Ulrich Furbach

Annals of Mathematics and Artificial Intelligence