Získavanie matematických informácií (MIR, Mathematics
Information Retrieval) je špecifická doména získavania
informácií (Information Retrieval, IR). MIR sa zameriava na
vyhľadávanie informácií v dokumentoch, ktoré obsahujú významné
množstvo matematického obsahu vo forme matematických výrazov a
vzorcov. Na základe novoustanoveného medzinárodného fóra
zameraného na vyhodnocovanie MIR systémov a počte takto
zameraných skupín z celého sveta je táto oblasť na vzostupe.

V tejto práci som zhrnul a porovnal rozdielne prístupy k
vyhľadávaniu matematických informácií. Viac do hĺbky je
popísaný systém MIaS (Math Indexer and Searcher), ktorý je
vlastným riešením vytvoreným na Fakulte informatiky na
Masarykovej univerzite, primárne navrhnutým a vyvýjaným autorom
práce. Podľa posledného vyhodnotenia je MIaS najlepšie
fungujúcim MIR systémom z pohľadu presnosti vyhľadávania.

V tejto práci navrhujem niekoľko tém, ktoré sú hlavnými
výskumnými otázkami môjho štúdia. Tieto témy zodpovedajú
funkciám alebo vlastnostiam, ktoré keď budú použité, zlepšia
presnosť MIR systémov. Týmito navrhovanými témami sú unifikácia
podštruktúr stromu matematickej formule, zapojenie
matematického algebraického systému ako výpočtovej schopnosti
do procesu indexovania a vyhľadávania, expanzia dotazov za
účelom zlepšenia pokrytia, premenné v dotazoch, vyriešenie
kombinácie viacerých prístupov v jednom systéme a maximálne
využitie kombinácie textového a matematického vyhľadávania.
Jedna téma sa rozprestiera spektrom všetkých ostatných tém a
tou je priebežné vyhodnocovanie, čo je potrebné v procese
neustáleho zlepšovania presnosti systému.