Other formats:
BibTeX
LaTeX
RIS
@misc{983192, author = {Sojka, Petr}, booktitle = {University of Portsmouth Computing Seminar}, keywords = {mathaware search;mathematics knowledge management;TeX;DMLCZ;digitization workflow;digital libraries;pdfJbim;big2enc;PDF recompression}, language = {eng}, title = {Why TeX math search is more relevant now than ever (invited talk 21.5.2012,Portsmouth University Computing Seminar,UK)}, url = {http://www.fi.muni.cz/usr/sojka/presentations/sojkaportsmouthpres2012.pdf}, year = {2012} }
TY  SLIDE ID  983192 UR  http://www.fi.muni.cz/usr/sojka/presentations/sojkaportsmouthpres2012.pdf AU  Sojka, Petr N2  TeX is around 30 years old, and was conceived and written before the advent of MathML, not to mention the Internet. At that time the idea of indexing and searching mathematics was just a futuristic idea. When people jumped on the Google bandwagon, it was predicted that old technologies such as TEX markup for math would disappear in time (it is not used for tokenization and indexing properly). The advent of the Internet and W3C brought markup and global search to the attention of the public. Somehow it was acceptable again. The recent move to the semantic search and MathML has brought renewed attention to the need of unambiguous canonical math representation in texts. As part of the project of building the European Digital Mathematics Library (http://www.eudml.eu) we have designed and implemented a math search engine, MIaS (http://nlp.fi.muni.cz/projekty/eudml/mias). It currently indexes and searches more than 160,000,000 formulae originally written by authors in TeX in their scientific papers. We will present the system and will discuss the ways towards a global math search engine based on the TeX math notation. L2  http://www.fi.muni.cz/usr/sojka/presentations/sojkaportsmouthpres2012.pdf TI  Why TeX math search is more relevant now than ever (invited talk 21.5.2012,Portsmouth University Computing Seminar,UK) PY  2012 KW  mathaware search;mathematics knowledge management;TeX;DMLCZ;digitization workflow;digital libraries;pdfJbim;big2enc;PDF recompression ER 
SOJKA, Petr. \textit{Why TeX math search is more relevant now than ever (invited talk 21.5.2012,Portsmouth University Computing Seminar,UK)}. In \textit{University of Portsmouth Computing Seminar}. 2012.
