Digitisation, Representation and Formalisation: Digital Libraries of Mathematics

Part of book or chapter of book OPEN
Adams, A.A.;

One of the main tasks of the mathematical knowledge management community must surely be to enhance access to mathematics on digital systems. In this paper we present a spectrum of approaches to solving the various problems inherent in this task, arguing that a variety o... View more
Share - Bookmark

  • Download from
    ZENODO via ZENODO (Part of book or chapter of book, 2003)
  • Cite this publication