Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Spurious Disambiguation Errors and How to Get Rid of Them

Spurious Disambiguation Errors and How to Get Rid of Them The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics in Computer Science Springer Journals

Spurious Disambiguation Errors and How to Get Rid of Them

Loading next page...
 
/lp/springer-journals/spurious-disambiguation-errors-and-how-to-get-rid-of-them-MjrrYXraSo

References (14)

Publisher
Springer Journals
Copyright
Copyright © 2008 by Birkhäuser Verlag Basel/Switzerland
Subject
Mathematics; Mathematics, general; Computer Science, general
ISSN
1661-8270
eISSN
1661-8289
DOI
10.1007/s11786-008-0058-2
Publisher site
See Article on Publisher Site

Abstract

The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations.

Journal

Mathematics in Computer ScienceSpringer Journals

Published: Dec 5, 2008

There are no references for this article.