swMATH3712MaRDI QIDQ16066FDOQ16066
Author name not available (Why is that?)
Official website: http://trac.mathweb.org/MWS
Cited In (37)
- 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
- ActiveMath
- LaTeXML
- MMT
- OMDoc
- TNTBase
- EgoMath
- LATIN
- Hermes
- Mathfind
- Lucene
- GitLab
- Mathoid
- sTeX
- SACHS
- MathML
- LibMeta
- TeX4ht
- WebMIaS
- Transforming large collections of scientific publications to XML
- Solr
- Integrating Web Services into Active Mathematical Documents
- QED reloaded: towards a pluralistic formal library of mathematical knowledge
This page was built for software: MathWebSearch
