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].

• Type: Conference
• Year: 2007
• Where: MKM
• Authors: Claudio Sacerdoti Coen, Stefano Zacchiroli
• Keywords: Ambiguous Mathematical Notation, Formulae, MKM 2007, Spurious Errors