Extending full text search engine for mathematical content

MaRDI QIDQ3398150zbMATH OpenFDO

Authors Jozef Mišutka, Leo Galambos

Publication date 25 September 2009

zbMATH Keywords

full text search engineindexinglanguage processingmathematical discoursemathematical searching

Mathematics Subject Classification ID

Theory of data (68P99)

Recommendations

• A Search Engine for Mathematical Formulae
• System description: EgoMath2 as a tool for mathematical searching on wikipedia.org
• MathWebSearch 0.5: Scaling an Open Formula Search Engine
• Indexing and Searching Mathematics in Digital Libraries
• Types for Proofs and Programs

Cited in

(9)

• A query language for formal mathematical libraries
• MathWebSearch 0.5: Scaling an Open Formula Search Engine
• System description: EgoMath2 as a tool for mathematical searching on wikipedia.org
• A Search Engine for Mathematical Formulae
• Mathematical Knowledge Management
• Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
• scientific article; zbMATH DE number 5270834 (Why is no real title available?)
• Augmenting Presentation MathML for Search
• Types for Proofs and Programs

Describes a project that uses

Uses Software

• MathWebSearch

This page was built for publication: Extending full text search engine for mathematical content

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