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

DOI10.1007/978-3-540-73086-6_25zbMath1202.68467OpenAlexW1484240015MaRDI QIDQ5428280

Michael Kohlhase, Andrea 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)

Related Items (1)

A survey on retrieval of mathematical knowledge

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