scientific article; zbMATH DE number 2078371

MaRDI QIDQ4474349zbMATH OpenFDO

Authors Andrea Asperti, Bernd Wegner

Publication date 9 July 2004

Mathematics Subject Classification ID

General and miscellaneous specific topics (00A99) Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• NLP and large-scale information retrieval on mathematical texts
• The Mizar Mathematical Library in OMDoc: translation and applications
• A hybrid approach for semantic enrichment of MathML mathematical expressions
• Abramowitz and Stegun – A Resource for Mathematical Document Analysis
• Mathematical Knowledge Management
• Computerizing mathematical text with MathLang
• Mathematical Knowledge Management

Cited in

(2)

• User interaction with the Matita proof assistant
• Abramowitz and Stegun – A Resource for Mathematical Document Analysis

Describes a project that uses

Uses Software

• OMDoc

This page was built for publication:

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