FP6

AMAI Special Issue on Mathematical Knowledge Management

A special issue of Annals of Matheamtics and Artificial Intelligence based on presentations made at the first conference on Mathematical Knowledge Management at RISC-Linz in 2001 has been published by Kluwer Press. They have kindly agreed to allow electronic copies of the papers to be made available here.

Preface (HTML)
How to Build a Prototype for a Distributed Digital Mathematics Archive Library (Gerhard O. Michler) (PDF)
Ontological Engineering and Mathematical Knowledge Management: A Formalzation Of Projective Geometry (F. Furst, M. Leclare and F. Trichet) (Postscript)
Designing Mathematical Libraries Based On requirements For Theorems (Christoph Schwarzweller) (Postscript)
Mathematical Knowledge Management In Helm (Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferrucio Guidi and Irene Schena) (Postscript)
Meta-Stylesheets for the Conversion of Mathematical Documents Into Multiple Forms (Bill Naylor and Stephen Watt) (Postscript)
Automated Deduction Techniques for the Management of Personalised Documents (Peter Baumgartner and Ulrich Furbach) (Postscript)
An Overview of A Formal Framework for Managing Mathematics (William M. Farmer and Martin v. Mohrenschildt) (Postscript)
NIST Digital Library Of Mathematical Functions (Daniel W. Lozier) (Postscript)
Technical Aspects of the Digital Library of Mathematical Functions (Bruce R. Miller and Abdou Youssef) (Postscript)
On Dynamicaly Presenting a Topology Course (Paul Cairns and Jeremy Gow) (Postscript)
Knowledge Representation and Management in ACTIVEMATH (Erica Melis, Jochen Budenbender, George Goguadze, Paul Libbrecht and Carsten Ullrich) (Postscript)

Home Page

Overview

Consortium

Bibliography

Members' Area

Contact

Links

FP6