Rating Disambiguation Errors

DOI10.1007/978-3-642-35308-6_19MaRDI QIDQ4916064zbMATH OpenOpenAlexFDO

Authors Andrea Asperti, Wilmer Ricciotti

Publication date 19 April 2013

Published in Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35308-6_19

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Ranking by rating
• Rating Migrations
• Existence of unsolicited ratings
• On information distortions in online ratings
• scientific article; zbMATH DE number 741106
• scientific article; zbMATH DE number 2151380

Cited in

(6)

• Disambiguating the SI notation would guarantee its correct parsing
• A user interface for a mathematical system that allows ambiguous formulae
• Towards context-based disambiguation of mathematical expressions
• Mathematical Knowledge Management
• Spurious Disambiguation Error Detection
• Spurious disambiguation errors and how to get rid of them

This page was built for publication: Rating Disambiguation Errors

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