Searching techniques for integral tables
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Knowledge-based proof planning
Artificial Intelligence
Towards context-based search engine selection
Proceedings of the 6th international conference on Intelligent user interfaces
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Modern Information Retrieval
Introduction to Modern Information Retrieval
Introduction to Modern Information Retrieval
Technical Aspects of the Digital Library of Mathematical Functions
Annals of Mathematics and Artificial Intelligence
Proof Planning with Multiple Strategies
CL '00 Proceedings of the First International Conference on Computational Logic
A Query Language for a Metadata Framework about Mathematical Resources
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
The Use of Explicit Plans to Guide Inductive Proofs
Proceedings of the 9th International Conference on Automated Deduction
Omega: Towards a Mathematical Assistant
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Design of a Digital Mathematical Library for Science, Technology and Education
ADL '99 Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries
Introduction to Data Mining, (First Edition)
Introduction to Data Mining, (First Edition)
Methods of Relevance Ranking and Hit-content Generation in Math Search
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
A Review of Mathematical Knowledge Management
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
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
A lattice-based approach for mathematical search using Formal Concept Analysis
Expert Systems with Applications: An International Journal
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
Mathematical equation retrieval using plain words as a query
Proceedings of the 21st ACM international conference on Information and knowledge management
Hi-index | 0.00 |
Math-aware fine-grain search is expected to be widely available. A key question is what roles it can play in mathematics. It will be argued that, besides finding information, math search can help advance and manage mathematical knowledge. This paper will present the short-term goals and state of the art of math-aware fine-grain search. Afterwards, it will focus on how math search can help advance and manage mathematical knowledge, and discuss what needs to be done to fulfill those roles, emphasizing two key components. The first is similarity search, and how it applies to (1) discovering and drawing upon connections between different fields, and (2) proof development. The second is math metadata, which math search will surely encourage and benefit from, and which will be pivotal to mathematical knowledge management.