MathML Canonicalizer 1.0.0

FORMÁNEK, David, Robert ŠIŠKA, Dominik SZALAI, Jakub ADLER, Michal RŮŽIČKA, Martin LÍŠKA a Petr SOJKA. MathML Canonicalizer 1.0.0. 2014.

Základní údaje

• Originální název: MathML Canonicalizer 1.0.0
• Název česky: MathML Kanonizátor 1.0.0
• Autoři: FORMÁNEK, David (203 Česká republika, domácí), Robert ŠIŠKA (203 Česká republika, domácí), Dominik SZALAI (703 Slovensko, garant, domácí), Jakub ADLER (203 Česká republika, domácí), Michal RŮŽIČKA (203 Česká republika, domácí), Martin LÍŠKA (703 Slovensko, domácí) a Petr SOJKA (203 Česká republika, domácí).
• Vydání: 2014.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Software
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• WWW: Zdrojové kód na GitHub Oficiální vydání Domovská stránka projektu Dostupnost v Maven repositářích
• Kód RIV: RIV/00216224:14330/14:00074905
• Organizační jednotka: Fakulta informatiky
• Klíčová slova česky: MathML; normalizace; kanonizace
• Klíčová slova anglicky: MathML; normalization; canonicalization
• Technické parametry: Open-source software, implementace v jazyce Java. Kontakt na vývojáře: [e-mail]. Odpovědná osoba: Michal Růžička, Fakulta informatiky Masarykovy univerzity, Brno, Botanická 68a, 60200 Brno, CZ, telefon: [phone], e-mail: [e-mail]. Nástroj použit mimo jiné v rámci klání matematiku zohledňujících vyhledávačů NTCIR-10 Math (LÍŠKA, Martin, Petr SOJKA a Michal RŮŽIČKA. Similarity Search for Mathematics: Masaryk University team at the NTCIR-10 Math Task. In Noriko Kando, Kazuaki Kishida. Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2013. s. 686–691, 6 s. ISBN 978-4-86049-062-1.)

Anotace

MathML Canonicalizer is a tool for unification of different forms of MathML encoding of equal formulae. It is being primarily developed to meet the needs of mathematical search engine, however it is desigend to be useful as general purpose tool for MathML encoding normalization (Braille or other accessibility drivers, encoding math to similarity, reading aload,...).

Anotace česky

MathML Kanonizátor je nástroj pro sjednocení různých způsobu MathML zápisu významově stejných formulí. Vyvíjen je primárně pro potřeby nástrojů vyhledávání matematiky v digitálních knihovnách, ale měl by být obecný tak, že bude přizpůsobitelný také jako nástroj pro obecnou normalizaci MathML.

Návaznosti

• LA09016, projekt VaV: Název: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Účast ČR v European Research Consortium for Informatics and Mathematics

• LG13010, projekt VaV: Název: Zastoupení ČR v European Research Consortium for Informatics and Mathematics (Akronym: ERCIM-CZ)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Zastoupení ČR v European Research Consortium for Informatics and Mathematics

• 250503, interní kód MU: Název: The European Digital Mathematics Library (Akronym: EuDML)

Investor: Evropská unie, The European Digital Mathematics Library