@inproceedings{f0b7397e4ef349b8bbb2474037ee8072,
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.",
author = "Luca Padovani and Stefano Zacchiroli",
year = "2006",
month = jan,
day = "1",
doi = "10.1007/11812289\_16",
language = "English",
isbn = "3540371044",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "194--207",
booktitle = "Mathematical Knowledge Management - 5th International Conference, MKM 2006, Proceedings",
note = "5th International Conference on Mathematical Knowledge Management, MKM 2006 ; Conference date: 11-08-2006 Through 12-08-2006",
}