Table of Contents

G. Albano, G. Gargiulo, S. Salerno
Modelling for Understanding of Scientific Knowledge
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
Mathematical Knowledge Management in HELM
Manasi Athale, Rahul Athale
Exchange of Mathematical Information on the Web: Present and Future
Peter Baumgartner, Antje Blohm
Automated Deduction Techniques for the Management of Personalized Documents
Jonathan Borwein
The International Math Union's Electronic Initiatives
Bruno Buchberger
Mathematical Knowledge Management in Theorema
Paul Cairns, Jeremy Gow
On Dynamically Presenting a Topology Course
Olga Caprotti, Herman Geuvers, Martijn Oostdijk
Certified and Portable Mathematical Documents from Formal Contexts
James H. Davenport
Mathematical Knowledge Representation
Mike Dewar, David Carlisle
Mathematical Software: the Next Generation?
William M. Farmer, Martin v. Mohrenschildt
A Formal Framework for Managing Mathematics
Frédéric Fürst, Michel Leclère, Francky Trichet
Contribution of the Ontology Engineering to Mathematical Knowledge Management
Adam Grabowski
Robbins Algebras vs. Boolean Algebras
Daniel W. Lozier
The NIST Digital Library of Mathematical Functions Project
Ludovic Meunier, Bruno Salvy
Automatically Generated Encyclopedia of Special Functions
Bruce R. Miller, Abdou Youssef
Technical Aspects of the Digital Library of Mathematical Functions: Dreams and Realities
Koji Nakagawa, Bruno Buchberger
Two Tools for Mathematical Knowledge Management in Theorema
Bill Naylor, Stephen Watt
Meta Style Sheets for the Conversion of Mathematical Documents into Multiple Forms
Piotr Rudnicki, Andrzej Trybulec
Mathematical Knowledge Management in MIZAR
Christoph Schwarzweller
Designing Mathematical Libraries Based on Minimal Requirements for Theorems
Terry Stanway
From G.H.H. and Littlewood to XML and Maple: Changing Needs and Expectations in Mathematical Knowledge Management