Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch

DOI10.1007/978-3-540-73086-6_25MaRDI QIDQ5428280zbMATH OpenOpenAlexFDO

Authors Andrea Kohlhase, Michael Kohlhase

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_25

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Roles of Math Search in Mathematics
• scientific article; zbMATH DE number 1951628
• A Review of Mathematical Knowledge Management
• Searching mathematics on the web: state of the art and future developments
• Mathematical Knowledge Management

Cited in

(1)

• MathWebSearch 0.5: Scaling an Open Formula Search Engine

This page was built for publication: Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch

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