A Search Engine for Mathematical Formulae

DOI10.1007/11856290_21MaRDI QIDQ5302917zbMATH OpenOpenAlexWikidataFDO

Authors Michael Kohlhase, Ioan A. Şucan

Publication date 15 January 2009

Published in Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11856290_21

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Information storage and retrieval of data (68P20)

Recommendations

• MathWebSearch 0.5: Scaling an Open Formula Search Engine
• Extending full text search engine for mathematical content
• Indexing and Searching Mathematics in Digital Libraries
• Math search for the masses: multimodal search interfaces and appearance-based retrieval
• Types for Proofs and Programs

Cited in

(39)

• MathWebSearch
• Making PVS accessible to generic services by interpretation in a universal format
• A novel mathematical formula for retrieval algorithm
• The Mizar Mathematical Library in OMDoc: translation and applications
• Mathematical physics branches: identifying mixed type equations
• The future of logic: foundation-independence
• Faceted search for mathematics
• Formula semantification and automated relation finding in the On-line Encyclopedia of Integer Sequences
• A query language for formal mathematical libraries
• MathWebSearch 0.5: Scaling an Open Formula Search Engine
• An approach to similarity search for mathematical expressions using MathML
• Improving mathematics retrieval
• An online repository of mathematical samples
• Extending full text search engine for mathematical content
• Math search for the masses: multimodal search interfaces and appearance-based retrieval
• A flexiformal model of knowledge dissemination and aggregation in mathematics
• Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
• scientific article; zbMATH DE number 1951633 (Why is no real title available?)
• Mathematical world knowledge contained in the multilingual Wikipedia project
• OpenMP implementation of parallel longest common subsequence algorithm for mathematical expression retrieval
• System description: EgoMath2 as a tool for mathematical searching on wikipedia.org
• Mathematical Knowledge Management
• An Approach to Mathematical Search Through Query Formulation and Data Normalization
• Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
• Methods of Relevance Ranking and Hit-content Generation in Math Search
• Searching mathematics on the web: state of the art and future developments
• Which one is better: presentation-based or content-based math search?
• Mathoid: robust, scalable, fast and accessible math rendering for Wikipedia
• Towards Knowledge Management for HOL Light
• An approach to math-similarity search
• Math indexer and searcher web interface. Towards fulfillment of mathematicians' information needs
• Augmenting Presentation MathML for Search
• Methods to access and retrieve mathematical content in ActiveMath
• Types for Proofs and Programs
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 7756106 (Why is no real title available?)
• Transforming large collections of scientific publications to XML
• Examination of the state of the art of mathematical formula search for zbMATH Open
• Relevance ranking and hit description in math search

Describes a project that uses

Uses Software

• OMDoc
• MBase
• Mathematica

This page was built for publication: A Search Engine for Mathematical Formulae

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