A survey on retrieval of mathematical knowledge
From MaRDI portal
Publication:2364882
DOI10.1007/s11786-016-0274-0zbMath1409.68085arXiv1505.06646OpenAlexW2569480976MaRDI QIDQ2364882
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)
Full work available at URL: https://arxiv.org/abs/1505.06646
Related Items (3)
VMEXT: a visualization tool for mathematical expression trees ⋮ Part-of-math tagging and applications ⋮ A survey on retrieval of mathematical knowledge
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A math query language with an expanded set of wildcards
- Relevance ranking and hit description in math search
- Technical aspects of the digital library of mathematical functions
- Automated deduction techniques for the management of personalized documents
- A survey on retrieval of mathematical knowledge
- Structural Similarity Search for Mathematics Retrieval
- Three Years of DLMF: Web, Math and Search
- Escaping the Trap of Too Precise Topic Queries
- A Query Language for Formal Mathematical Libraries
- Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval
- Performance Evaluation and Optimization of Math-Similarity Search
- Indexing and Searching Mathematics in Digital Libraries
- Mathematical Knowledge Management
- 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?
- POS Tagging and Its Applications for Mathematics
- Matching Concepts across HOL Libraries
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
- An Approach to Math-Similarity Search
- Math Indexer and Searcher Web Interface
- Cross-Curriculum Search for Intergeo
- Augmenting Presentation MathML for Search
- Methods to Access and Retrieve Mathematical Content in ActiveMath
- Roles of Math Search in Mathematics
- Information Retrieval and Rendering with MML Query
- Types for Proofs and Programs
This page was built for publication: A survey on retrieval of mathematical knowledge