Mathematical Knowledge Management

DOI10.1007/B100478MaRDI QIDQ5313073zbMATH OpenOpenAlexFDO

Authors Claudio Sacerdoti Coen, Stefano Zacchiroli

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100478

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• A user interface for a mathematical system that allows ambiguous formulae
• Rating Disambiguation Errors
• scientific article; zbMATH DE number 1254305
• Spurious disambiguation errors and how to get rid of them
• Learning to parse on aligned corpora (rough diamond)

Cited in

(10)

• User interaction with the Matita proof assistant
• DynGenPar -- a dynamic generalized parser for common mathematical language
• Learning to parse on aligned corpora (rough diamond)
• scientific article; zbMATH DE number 1254305 (Why is no real title available?)
• A user interface for a mathematical system that allows ambiguous formulae
• The Matita interactive theorem prover
• Parsing and disambiguation of symbolic mathematics in the Naproche system
• Spurious Disambiguation Error Detection
• From Notation to Semantics: There and Back Again
• Spurious disambiguation errors and how to get rid of them

Describes a project that uses

Uses Software

• GF

This page was built for publication: Mathematical Knowledge Management

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