MathWebSearch

swMATH3712MaRDI QIDQ16066FDOQ16066

Author name not available (Why is that?)

Described by source

• MathWebSearch 0.5: Scaling an Open Formula Search Engine
• A Search Engine for Mathematical Formulae

Cited In (19)

• An Approach to Math-Similarity Search
• Which One Is Better: Presentation-Based or Content-Based Math Search?
• OpenMP Implementation of Parallel Longest Common Subsequence Algorithm for Mathematical Expression Retrieval
• Methods to Access and Retrieve Mathematical Content in ActiveMath
• The future of logic: foundation-independence
• Math Literate Knowledge Management via Induced Material
• Mathematical physics branches: identifying mixed type equations
• Towards Knowledge Management for HOL Light
• A math query language with an expanded set of wildcards
• Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
• The Mizar Mathematical Library in OMDoc: translation and applications
• A survey on retrieval of mathematical knowledge
• QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
• Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences
• A Query Language for Formal Mathematical Libraries
• Transforming large collections of scientific publications to XML
• Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval
• Integrating Web Services into Active Mathematical Documents
• Title not available (Why is that?)

This page was built for software: MathWebSearch