Mathematical search
Saturday, June 2, 10:30-12:00
Confirmed Panelists: Michael Kohlhase, Petr Sojka, Michael Trott, Stephen Watt, Abdou Youssef
Moderator: Patrick Ion
Search is the most important gate to the [W]DML. WDML without global math-aware searching is an oxymoron.
While textual search has become part of our everyday routine tasks, it is not [yet] so with math-aware formulae search. Different math formats, naming, notation together with hardness of math OCR all make global math-aware formulae search a challenge. As first steps in math normalization/canonicalization, OCR, extraction from PDF and indexing have been done, it is now time to shape the future by designing and implementing math-aware search system.
Ideally, math-aware search in WDML should be able to fulfill our information needs -- semantically expressed with pragmatics. However, most of available mathematical knowledge in current DMLs is expressed in much much lower level -- as page bitmaps, or in better way a OCRed text with erroneous math formulae. The main challenge is to cope with the semantic gap between these two levels of math knowledge representation, to match search query with DML content.
Panel slides and texts of presentations:
