MathWebSearch
From MaRDI portal
Software:16066
swMATH3712MaRDI QIDQ16066FDOQ16066
Author name not available (Why is that?)
Cited In (18)
- 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
- Extending full text search engine for mathematical content
- Methods to access and retrieve mathematical content in ActiveMath
- Which one is better: presentation-based or content-based math search?
- An approach to math-similarity search
- Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
- Math search for the masses: multimodal search interfaces and appearance-based retrieval
- A query language for formal mathematical libraries
- Formula semantification and automated relation finding in the On-line Encyclopedia of Integer Sequences
- OpenMP implementation of parallel longest common subsequence algorithm for mathematical expression retrieval
- The Mizar Mathematical Library in OMDoc: translation and applications
- Transforming large collections of scientific publications to XML
- Integrating Web Services into Active Mathematical Documents
- QED reloaded: towards a pluralistic formal library of mathematical knowledge
This page was built for software: MathWebSearch
