MathWebSearch 0.5: Scaling an Open Formula Search Engine

DOI10.1007/978-3-642-31374-5_23zbMath1278.68296DBLPconf/aisc/KohlhaseMP12OpenAlexW70361899WikidataQ57389364 ScholiaQ57389364MaRDI QIDQ2907334

Michael Kohlhase, Bogdan A. Matican, Corneliu-Claudiu Prodescu

Publication date: 7 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-31374-5_23

Mathematics Subject Classification ID

Knowledge representation (68T30) Information storage and retrieval of data (68P20) Internet topics (68M11)

Related Items (3)

Math Literate Knowledge Management via Induced Material ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ MathWebSearch

Uses Software

• LaTeXML

This page was built for publication: MathWebSearch 0.5: Scaling an Open Formula Search Engine