PadovaniZacchiroli06 (In proceedings)

Author(s)  Luca Padovani and Stefano Zacchiroli 
Title  « From Notation to Semantics: There and Back Again » 
In  Proceedings of the Mathematical Knowledge Management (MKM'06) 
Series  LNAI 
Volume  4108 
Page(s)  194207 
Year  2006 
Publisher  Springer 
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 wellknown concepts and widelyused technologies and it can be easily adopted by other MKM applications. 
@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
wellknown concepts and widelyused 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 = {194207},
doi = {10.1007/11812289\_16},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)