TY - GEN
T1 - Spurious disambiguation error detection
AU - Coen, Claudio Sacerdoti
AU - Zacchiroli, Stefano
PY - 2007/12/1
Y1 - 2007/12/1
N2 - 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 [6].
AB - 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 [6].
UR - https://www.scopus.com/pages/publications/38049064883
M3 - Conference contribution
AN - SCOPUS:38049064883
SN - 9783540730835
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 381
EP - 392
BT - Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings
T2 - 14th Symposium on Calculemus 2007 and 6th International Conference on Mathematical Knowledge Management, MKM 2007
Y2 - 27 June 2007 through 30 June 2007
ER -