An Approach to Mathematical Search Through Query Formulation and Data Normalization

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

Mathematics Subject Classification ID

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