MathWebSearch 0.5: Scaling an Open Formula Search Engine

DOI10.1007/978-3-642-31374-5_23MaRDI QIDQ2907334zbMATH OpenOpenAlexDBLPWikidataFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(11)

• System description: EgoMath2 as a tool for mathematical searching on wikipedia.org
• The Mizar Mathematical Library in OMDoc: translation and applications
• Extending full text search engine for mathematical content
• Types for Proofs and Programs
• scientific article; zbMATH DE number 5270834 (Why is no real title available?)
• Mathematical Knowledge Management
• MathWebSearch
• 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
• A Search Engine for Mathematical Formulae

Describes a project that uses

Uses Software

• LaTeXML

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)