@inproceedings{PadovaniZacchiroli06,
  volume = {4108},
  author = {Luca Padovani and Stefano Zacchiroli},
  series = {LNAI},
  booktitle = {Proceedings of the Mathematical Knowledge Management (MKM'06)},
  url = {http://www.di.unito.it/~padovani/Papers/lnai_4108.pdf},
  abstract = { Mathematical notation is a structured, open, and ambiguous
              language. In order to support mathematical notation in MKM
              applications one must necessarily take into account presentational
              as well as semantic aspects. The former are required to create a
              familiar, comfortable, and usable interface to interact with. The
              latter are necessary in order to process the information
              meaningfully. In this paper we investigate a framework for dealing
              with mathematical notation in a meaningful, extensible way, and we
              show an effective instantiation of its architecture to the field
              of interactive theorem proving. The framework builds upon
              well-known concepts and widely-used technologies and it can be
              easily adopted by other MKM applications. },
  title = {{From Notation to Semantics: There and Back Again}},
  publisher = {Springer},
  year = {2006},
  pages = {194-207},
  doi = {10.1007/11812289\_16},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)