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