Sciweavers

MKM
2007
Springer

Spurious Disambiguation Error Detection

14 years 5 months ago
Spurious Disambiguation Error Detection
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 [6].
Claudio Sacerdoti Coen, Stefano Zacchiroli
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where MKM
Authors Claudio Sacerdoti Coen, Stefano Zacchiroli
Comments (0)