Math-Aware Search Engines: Physics Applications and Overview

Search engines for equations now exist, which return results matching the query's mathematical meaning or structural presentation. Operating over scientific papers, online encyclopedias, and math discussion forums, their content includes physics, math, and other sciences. They enable physicists to avoid jargon and more easily target mathematical content within and across disciplines. As a natural extension of keyword-based search, they open up a new world for discovering both exact and approximate mathematical solutions; physical systems' analogues and alternative models; and physics' patterns. This review presents the existing math-aware search engines, discusses methods for maximizing their search success, and overviews their math-matching capabilities. Proposed applications to physics are also given, to contribute towards developers' and physicists' exploration of the newly available search horizons.

[1]  Joseph Corneli,et al.  Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings , 2014, International Conference on Intelligent Computer Mathematics.

[2]  Michael Kohlhase,et al.  MathWebSearch 0.5: Scaling an Open Formula Search Engine , 2012, AISC/MKM/Calculemus.

[3]  Anurag Agarwal,et al.  Discovering real-world use cases for a multimodal math search interface , 2014, SIGIR.

[4]  Committee on Planning a Global Library of the Mathematical Sciences.  Developing a 21st Century Global Library for Mathematics Research , 2014, 1404.1905.

[5]  Jonathan M. Borwein,et al.  Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings , 2006, MKM.

[6]  Zhi Tang,et al.  WikiMirs: a mathematical information retrieval system for wikipedia , 2013, JCDL '13.

[7]  Ronald F. Boisvert,et al.  A Special Functions Handbook for the Digital Age , 2011 .

[8]  V. Rich.  Personal communication , 1989, Nature.

[9]  James H. Davenport,et al.  MKM from Book to Computer: A Case Study , 2003, MKM.

[10]  Iadh Ounis,et al.  NTCIR-10 Math Pilot Task Overview , 2013, NTCIR.

[11]  Petr Sojka,et al.  Math Indexer and Searcher under the Hood: Fine-tuning Query Expansion and Unification Strategies , 2016, NTCIR.

[12]  Qun Zhang,et al.  An Approach to Math-Similarity Search , 2014, CICM.

[13]  Siu Cheung Hui,et al.  A math-aware search engine for math question answering system , 2012, CIKM '12.

[14]  Marjorie A. McClain,et al.  Digital Repository of Mathematical Formulae , 2014, CICM.

[15]  I. Stamatescu,et al.  Approaches to fundamental physics : an assessment of current theoretical ideas , 2007 .

[16]  David Stalnaker,et al.  Math expression retrieval using symbol pairs in layout trees , 2013 .

[17]  Cristi Stoica.  Trick or Truth : the Mysterious Connection Between Physics and Mathematics ’ And the math will set you free , 2015 .

[18]  Michiel Hazewinkel,et al.  Mathematical knowledge management is needed , 2004, ArXiv.

[19]  Petr Sojka,et al.  Building the Ultimate Math Search Engine , 2015 .

[20]  Michael Kohlhase,et al.  Representing, Archiving, and Searching the Space of Mathematical Knowledge , 2014, ICMS.

[21]  Frank Wm. Tompa,et al.  The Tangent Search Engine: Improved Similarity Metrics and Scalability for Math Formula Search , 2015, ArXiv.

[22]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[23]  Petr Sojka,et al.  Evaluation of Mathematics Retrieval , 2013 .

[24]  Anurag Agarwal,et al.  Rendering expressions to improve accuracy of relevance assessment for math search , 2014, SIGIR.

[25]  Arrow Buttons.  Frequently asked questions , 2009 .

[26]  W. Unruh.  Dumb holes: analogues for black holes , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[27]  Keita Del Valle Wangari.  Discovering real-world usage scenarios for a multimodal math search interface , 2013 .

[28]  Eric W. Weisstein.  Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha , 2014, CICM.

[29]  Michael Kohlhase,et al.  MathWebSearch at NTCIR-10 , 2013, NTCIR.

[30]  Abdou Youssef.  Advances in math search , 2007 .

[31]  Iadh Ounis,et al.  NTCIR-11 Math-2 Task Overview , 2014, NTCIR.

[32]  K. Aberer.  A Math Aware Search Engine (for Cds) , 2014 .

[33]  Richard Zanibbi,et al.  Combining TF-IDF Text Retrieval with an Inverted Index over Symbol Pairs in Math Expressions: The Tangent Math Search Engine at NTCIR 2014 , 2014, NTCIR.

[34]  G. Andrews,et al.  Classical orthogonal polynomials , 1985 .

[35]  R. Adams.  Proceedings , 1947 .

[36]  Michael Kohlhase,et al.  A Search Engine for Mathematical Formulae , 2006, AISC.

[37]  Petr Sojka,et al.  Indexing and Searching Mathematics in Digital Libraries - Architecture, Design and Scalability Issues , 2011, Calculemus/MKM.

[38]  Oviedo Urazmetov,et al.  $5e^{x+y}$: A Math Aware Search Engine for CDS , 2014 .

[39]  Richard Zanibbi,et al.  Recognition and retrieval of mathematical expressions , 2011, International Journal on Document Analysis and Recognition (IJDAR).

[40]  Nikita Zhiltsov,et al.  OntoMath PRO Ontology: A Linked Data Hub for Mathematics , 2014, KESW.

[41]  Kenny Davila.  Appearance-Based Retrieval of Mathematical Notation in Documents and Lecture Videos , 2016, SIGIR.

[42]  Iadh Ounis,et al.  NTCIR-12 MathIR Task Overview , 2016, NTCIR.

[43]  Michael Kohlhase,et al.  MathWebSearch at NTCIR-11 , 2014, NTCIR.

[44]  Karl Aberer,et al.  5e{x+y}: Searching over Mathematical Content in Digital Libraries , 2015, JCDL.

[45]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[46]  Petr Sojka,et al.  Combining Text and Formula Queries in Math Information Retrieval: Evaluation of Query Results Merging Strategies , 2015, NWSearch@CIKM.

[47]  V. Hubeny,et al.  The AdS/CFT correspondence , 2014, 1501.00007.

[48]  Minh-Quoc Nghiem,et al.  Using MathML Parallel Markup Corpora for Semantic Enrichment of Mathematical Expressions , 2013, IEICE Trans. Inf. Syst..

[49]  Siyu Zhu,et al.  m in : A Multimodal Web Interface for Math Search , 2012 .

[50]  Jürgen Richter-Gebert,et al.  The Interactive Geometry Software Cinderella , 2000 .

[51]  J. Maldacena.  The Large-N Limit of Superconformal Field Theories and Supergravity , 1997, hep-th/9711200.

[52]  Frank Wm. Tompa,et al.  Tangent-3 at the NTCIR-12 MathIR Task , 2016, NTCIR.

[53]  Ronald F. Boisvert,et al.  NIST Handbook of Mathematical Functions , 2010 .

[54]  Minh-Quoc Nghiem,et al.  Which One Is Better: Presentation-Based or Content-Based Math Search? , 2014, CICM.

[55]  Robert L. Goldstone,et al.  How abstract is symbolic thought? , 2007, Journal of experimental psychology. Learning, memory, and cognition.

[56]  J. Steinhauer,et al.  Realization of a sonic black hole analog in a Bose-Einstein condensate. , 2009, Physical review letters.

[57]  Frank Wm. Tompa,et al.  Multi-Stage Math Formula Search: Using Appearance-Based Similarity Metrics at Scale , 2016, SIGIR.