This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/resource/domain/vavai/subjekt/
n14http://linked.opendata.cz/ontology/domain/vavai/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F12%3A00060008%21RIV13-MSM-14330___/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F12%3A00060008%21RIV13-MSM-14330___
rdf:type
skos:Concept n14:Vysledek
rdfs:seeAlso
http://www.fi.muni.cz/usr/sojka/presentations/sojka-portsmouth-pres2012.pdf
dcterms:description
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 mark-up for math would disappear in time (it is not used for tokenization and indexing properly). The advent of the Internet and W3C brought mark-up 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. 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 mark-up for math would disappear in time (it is not used for tokenization and indexing properly). The advent of the Internet and W3C brought mark-up 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.
dcterms:title
Why TeX math search is more relevant now than ever (invited talk 21.5.2012,Portsmouth University Computing Seminar,UK) Why TeX math search is more relevant now than ever (invited talk 21.5.2012,Portsmouth University Computing Seminar,UK)
skos:prefLabel
Why TeX math search is more relevant now than ever (invited talk 21.5.2012,Portsmouth University Computing Seminar,UK) Why TeX math search is more relevant now than ever (invited talk 21.5.2012,Portsmouth University Computing Seminar,UK)
skos:notation
RIV/00216224:14330/12:00060008!RIV13-MSM-14330___
n14:predkladatel
n15:orjk%3A14330
n5:aktivita
n7:S n7:P
n5:aktivity
P(LA09016), S
n5:dodaniDat
n12:2013
n5:domaciTvurceVysledku
n16:7883927
n5:druhVysledku
n8:O
n5:duvernostUdaju
n17:S
n5:entitaPredkladatele
n10:predkladatel
n5:idSjednocenehoVysledku
180977
n5:idVysledku
RIV/00216224:14330/12:00060008
n5:jazykVysledku
n9:eng
n5:klicovaSlova
math-aware search; mathematics knowledge management; TeX; DML-CZ; digitization workflow; digital libraries; pdfJbim; big2enc; PDF recompression
n5:klicoveSlovo
n6:digitization%20workflow n6:big2enc n6:TeX n6:pdfJbim n6:math-aware%20search n6:digital%20libraries n6:mathematics%20knowledge%20management n6:PDF%20recompression n6:DML-CZ
n5:kontrolniKodProRIV
[079FB76B9F60]
n5:obor
n19:BA
n5:pocetDomacichTvurcuVysledku
1
n5:pocetTvurcuVysledku
1
n5:projekt
n18:LA09016
n5:rokUplatneniVysledku
n12:2012
n5:tvurceVysledku
Sojka, Petr
n13:organizacniJednotka
14330