Sciweavers

MKM
2007
Springer
14 years 6 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 ...
Claudio Sacerdoti Coen, Stefano Zacchiroli