Spurious Disambiguation Error Detection

DOI10.1007/978-3-540-73086-6_30MaRDI QIDQ5428286zbMATH OpenOpenAlexWikidataFDO

Authors Claudio Sacerdoti Coen, Stefano Zacchiroli

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_30

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Spurious disambiguation errors and how to get rid of them
• Rating Disambiguation Errors
• Mathematical Knowledge Management
• Towards context-based disambiguation of mathematical expressions
• A user interface for a mathematical system that allows ambiguous formulae

Cited in

(4)

• A user interface for a mathematical system that allows ambiguous formulae
• The Samaritani formula
• Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
• Spurious disambiguation errors and how to get rid of them

This page was built for publication: Spurious Disambiguation Error Detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428286)