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) | 194-207 |
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 well-known concepts and widely-used 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
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)