@inproceedings{notation,
author = {Luca Padovani and Stefano Zacchiroli},
title = {From Notation to Semantics: There and Back Again},
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.},
publisher = {Springer Berlin / Heidelberg},
year = {2006},
isbn = {978-3-540-37104-5},
doi = {10.1007/11812289_16},
pages = {194-207},
booktitle = {MKM 2006: The 5th International Conference on Mathematical Knowledge Management},
}