A survey on retrieval of mathematical knowledge
From MaRDI portal
Publication:2364882
DOI10.1007/978-3-319-20615-8_20zbMATH Open1409.68085arXiv1505.06646OpenAlexW2569480976MaRDI QIDQ2364882FDOQ2364882
Claudio Sacerdoti Coen, Ferruccio Guidi
Publication date: 25 July 2017
Published in: Lecture Notes in Computer Science, Mathematics in Computer Science (Search for Journal in Brave)
Abstract: We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.
Full work available at URL: https://arxiv.org/abs/1505.06646
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Math Indexer and Searcher Web Interface
- Types for Proofs and Programs
- Three Years of DLMF: Web, Math and Search
- Mathematical Knowledge Management
- Information Retrieval and Rendering with MML Query
- A Query Language for Formal Mathematical Libraries
- Cross-Curriculum Search for Intergeo
- Matching Concepts across HOL Libraries
- A math query language with an expanded set of wildcards
- Relevance ranking and hit description in math search
- POS Tagging and Its Applications for Mathematics
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
- Technical aspects of the digital library of mathematical functions
- Automated deduction techniques for the management of personalized documents
- Indexing and Searching Mathematics in Digital Libraries
- A survey on retrieval of mathematical knowledge
- Structural Similarity Search for Mathematics Retrieval
- Escaping the Trap of Too Precise Topic Queries
- Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval
- Performance Evaluation and Optimization of Math-Similarity Search
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
- An Approach to Mathematical Search Through Query Formulation and Data Normalization
- Extended Formula Normalization for ฮต-Retrieval and Sharing of Mathematical Knowledge
- Methods of Relevance Ranking and Hit-content Generation in Math Search
- Search Interfaces for Mathematicians
- Which One Is Better: Presentation-Based or Content-Based Math Search?
- An Approach to Math-Similarity Search
- Augmenting Presentation MathML for Search
- Methods to Access and Retrieve Mathematical Content in ActiveMath
- Roles of Math Search in Mathematics
Cited In (4)
Uses Software
Recommendations
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Mechanizing Mathematical Reasoning ๐ ๐
- A Review of Mathematical Knowledge Management ๐ ๐
- A fine-tuning retrieval system for mathematical information ๐ ๐
- A survey on retrieval of mathematical knowledge ๐ ๐
- Representing, Archiving, and Searching the Space of Mathematical Knowledge ๐ ๐
- Mathematical Knowledge Management ๐ ๐
This page was built for publication: A survey on retrieval of mathematical knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364882)
