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 (5)
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
This page was built for publication: An Approach to Mathematical Search Through Query Formulation and Data Normalization