MathWebSearch 0.5: Scaling an Open Formula Search Engine
DOI10.1007/978-3-642-31374-5_23zbMATH Open1278.68296DBLPconf/aisc/KohlhaseMP12OpenAlexW70361899WikidataQ57389364 ScholiaQ57389364MaRDI QIDQ2907334FDOQ2907334
Authors: 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
Recommendations
- Searching mathematics on the web: state of the art and future developments
- Math indexer and searcher web interface. Towards fulfillment of mathematicians' information needs
- Extending full text search engine for mathematical content
- Math search for the masses: multimodal search interfaces and appearance-based retrieval
- Types for Proofs and Programs
- Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
- A Search Engine for Mathematical Formulae
- scientific article; zbMATH DE number 2314237
- The mathematics of internet search engines
Information storage and retrieval of data (68P20) Knowledge representation (68T30) Internet topics (68M11)
Cited In (11)
- WebMIaS on Docker. Deploying math-aware search in a single line of code
- Math Literate Knowledge Management via Induced Material
- Examination of the state of the art of mathematical formula search for zbMATH Open
- System description: EgoMath2 as a tool for mathematical searching on wikipedia.org
- Extending full text search engine for mathematical content
- Title not available (Why is that?)
- The Mizar Mathematical Library in OMDoc: translation and applications
- MathWebSearch
- A Search Engine for Mathematical Formulae
- Mathematical Knowledge Management
- Types for Proofs and Programs
Uses Software
This page was built for publication: MathWebSearch 0.5: Scaling an Open Formula Search Engine
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2907334)