NAG Library Documentation

  • David Carlisle
  • Mike Dewar
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2594)


This paper describes the management and evolution of a large collection of 1200 documents detailing the functionality in NAG Library products.

This provides a case study addressing many of the issues which concern the “MKM” project, involving conversion of legacy formats (SGML and LATEX) to XML, and inferring semantic content from mainly presentational mathematical expressions.


Mathematical Expression Orthogonal Matrix Array Reference Lower Triangular Part Real Array 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    D. Carlisle, P. Ion, R. Miner, N. Poppelier; (editors) Mathematical Markup Language (MathML) 2.0 Specifiation.
  2. 2.
    O. Caprotti, D. P. Carlisle, A. M. Cohen (editors); The OpenMath Standard, February 2000.
  3. 3.
    The TEX User’s Group.
  4. 4.
    D. Carlisle and M. Dewar, From Mathematical servers to mathematical Services, Proceedings of the First International Congress of Mathematical, Editors, Arjeh Cohen,Xiao-Shan Gao, Nabuki Takayama, World Scientific, 2002, ISBN 981-238-048-5 SoftwareGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • David Carlisle
    • 1
  • Mike Dewar
    • 1
  1. 1.NAG Ltd, Wilkinson houseOxfordUK

Personalised recommendations