@inproceedings{disambiguation,
author = {Sacerdoti Coen, Claudio and Stefano Zacchiroli},
title = {Efficient Ambiguous Parsing of Mathematical Formulae},
abstract = {Mathematical notation has the characteristic of being ambiguous: operators can be overloaded and information that can be deduced is often omitted. Mathematicians are used to this ambiguity and can easily disambiguate a formula making use of the context and of their ability to find the right interpretation. Software applications that have to deal with formulae usually avoid these issues by fixing an unambiguous input notation. This solution is annoying for mathematicians because of the resulting tricky syntaxes and becomes a show stopper to the simultaneous adoption of tools characterized by different input languages. In this paper we present an efficient algorithm suitable for ambiguous parsing of mathematical formulae. The only requirement of the algorithm is the existence of a validity predicate over abstract syntax trees of incomplete formulae with placeholders. This requirement can be easily fulfilled in the applicative area of interactive proof assistants, and in several other areas of Mathematical Knowledge Management.},
publisher = {Springer Berlin / Heidelberg},
year = {2004},
isbn = {3-540-23029-7},
pages = {347-362},
series = {LNCS},
volume = {3119},
booktitle = {MKM 2004: 3rd International Conference on Mathematical Knowledge Management},
}