publications page: make available BibTeX entries for all papers
[homepage.git] / research / publications / disambiguation-errors.bib
1 @inproceedings{disambiguation-errors,
2   author = {Sacerdoti Coen, Claudio and Stefano Zacchiroli},
3   title = {Spurious Disambiguation Error Detection},
4   abstract = {The disambiguation approach to the input of formulae enables the user to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae we want to present only errors related to the interpretation meant by the user, hiding errors related to other interpretations (spurious errors). We propose a heuristic to recognize spurious errors, which has been integrated with the disambiguation algorithm of [1].},
5   publisher = {Springer Berlin / Heidelberg},
6   year = {2007},
7   isbn = {978-3-540-73083-5},
8   doi = {10.1007/978-3-540-73086-6_30},
9   booktitle = {MKM 2007: The 6th International Conference on Mathematical Knowledge Management},
10 }