An Approach to Mathematical Search Through Query Formulation and Data Normalization
From MaRDI portal
Publication:5428283
DOI10.1007/978-3-540-73086-6_27zbMath1202.68130OpenAlexW1791937425MaRDI QIDQ5428283
Rajesh Munavalli, Robert R. Miner
Publication date: 28 November 2007
Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_27
Searching and sorting (68P10) Information storage and retrieval of data (68P20) Internet topics (68M11)
Related Items
VMEXT: a visualization tool for mathematical expression trees, A survey on retrieval of mathematical knowledge, OpenMP Implementation of Parallel Longest Common Subsequence Algorithm for Mathematical Expression Retrieval, Which One Is Better: Presentation-Based or Content-Based Math Search?, An Approach to Math-Similarity Search