Math Indexer and Searcher Web Interface

DOI10.1007/978-3-319-08434-3_36zbMath1304.68199arXiv1404.6476OpenAlexW962339000WikidataQ57737533 ScholiaQ57737533MaRDI QIDQ5495945

Michal Růžička, Petr Sojka, Martin Líška

Publication date: 7 August 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1404.6476

zbMATH Keywords

MathMLEuDMLMIaSWebMIaSdigital mathematical libraryformulae canonicalizationmath-aware searchsearch interface

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (4)

A survey on retrieval of mathematical knowledge ⋮ WebMIaS on Docker. Deploying math-aware search in a single line of code ⋮ Error correction of semantic mathematical expressions based on Bayesian algorithm ⋮ WebMIaS

Uses Software

• DLMF

Cites Work

• Project EuDML – A First Year Demonstration

This page was built for publication: Math Indexer and Searcher Web Interface