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

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

Namespace Prefixes

PrefixIRI
n21http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n20http://localhost/temp/predkladatel/
n7http://purl.org/net/nknouf/ns/bibtex#
n17http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n23http://linked.opendata.cz/ontology/domain/vavai/
n11https://schema.org/
shttp://schema.org/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n13http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F14%3A00075378%21RIV15-MSM-14330___/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F14%3A00075378%21RIV15-MSM-14330___
rdf:type
skos:Concept n23:Vysledek
rdfs:seeAlso
http://link.springer.com/chapter/10.1007/978-3-319-08434-3_36
dcterms:description
We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface. Users can combine standard textual autocompleted keywords with keywords in the form of mathematical formulae in LaTeX or MathML formats. Formulae are shown rendered by the web browser on-the-fly for users’ feedback. We describe WebMIaS design principles and our experiences deploying in the European Digital Mathematics Library (EuDML). We further describe the issues addressed by formulae canonicalization and by extending the MIaS indexing engine with Content MathML support. We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface. Users can combine standard textual autocompleted keywords with keywords in the form of mathematical formulae in LaTeX or MathML formats. Formulae are shown rendered by the web browser on-the-fly for users’ feedback. We describe WebMIaS design principles and our experiences deploying in the European Digital Mathematics Library (EuDML). We further describe the issues addressed by formulae canonicalization and by extending the MIaS indexing engine with Content MathML support.
dcterms:title
Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
skos:prefLabel
Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
skos:notation
RIV/00216224:14330/14:00075378!RIV15-MSM-14330___
n5:aktivita
n18:S n18:P
n5:aktivity
P(LG13010), S
n5:dodaniDat
n12:2015
n5:domaciTvurceVysledku
n16:4357469 n16:9619097 n16:7883927
n5:druhVysledku
n14:D
n5:duvernostUdaju
n22:S
n5:entitaPredkladatele
n9:predkladatel
n5:idSjednocenehoVysledku
27605
n5:idVysledku
RIV/00216224:14330/14:00075378
n5:jazykVysledku
n6:eng
n5:klicovaSlova
search interface; math-aware search; digital mathematical library; formulae canonicalization; WebMIaS; MIaS; EuDML; MathML
n5:klicoveSlovo
n15:MIaS n15:search%20interface n15:formulae%20canonicalization n15:MathML n15:EuDML n15:WebMIaS n15:math-aware%20search n15:digital%20mathematical%20library
n5:kontrolniKodProRIV
[CFB21F9573A8]
n5:mistoKonaniAkce
Coimbra, Portugal
n5:mistoVydani
Zurich
n5:nazevZdroje
Intelligent Computer Mathematics CICM 2014. Proceedings of Calculemus, DML, MKM, and Systems and Projects
n5:obor
n19:IN
n5:pocetDomacichTvurcuVysledku
3
n5:pocetTvurcuVysledku
3
n5:projekt
n17:LG13010
n5:rokUplatneniVysledku
n12:2014
n5:tvurceVysledku
Sojka, Petr Růžička, Michal Líška, Martin
n5:typAkce
n21:WRD
n5:zahajeniAkce
2014-07-07+02:00
s:issn
0302-9743
s:numberOfPages
5
n13:doi
10.1007/978-3-319-08434-3_36
n7:hasPublisher
Springer International Publishing Switzerland
n11:isbn
9783319084336
n20:organizacniJednotka
14330