Extended Boolean information retrieval
Communications of the ACM
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
A new mathematics retrieval system
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Towards meaningful mathematical expressions in e-learning
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
Indexing and searching mathematics in digital libraries: architecture, design and scalability issues
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
The art of mathematics retrieval
Proceedings of the 11th ACM symposium on Document engineering
A lattice-based approach for mathematical search using Formal Concept Analysis
Expert Systems with Applications: An International Journal
A query language for formal mathematical libraries
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
MathWebSearch 0.5: scaling an open formula search engine
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
A math-aware search engine for math question answering system
Proceedings of the 21st ACM international conference on Information and knowledge management
Retrieving documents with mathematical content
Proceedings of the 36th international ACM SIGIR conference on Research and development in information retrieval
Structural similarity search for mathematics retrieval
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |