Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

PadovaniZacchiroli06 (In proceedings)
Author(s) Luca Padovani and Stefano Zacchiroli
Title« From Notation to Semantics: There and Back Again »
InProceedings of the Mathematical Knowledge Management (MKM'06)
SeriesLNAI
Volume4108
Page(s)194-207
Year2006
PublisherSpringer
URLhttp://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.

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

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

Valid HTML 4.01!