@comment{It is strongly recommended to use BibLaTeX for these entries}

@inproceedings{CuypersKnopper:OpenMathUIWiP2012,
title = {{MathDox} {Select}: A tool for creating {SCORM} packages from existing exercises},
author = {Hans Cuypers and Jan Willem Knopper},
pages = {7--11},
url = {http://ceur-ws.org/Vol-921/mathui-01.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{Kohlhase:OpenMathUIWiP2012,
title = {Navigation in Mathematical Documents},
author = {Andrea Kohlhase},
pages = {12--23},
url = {http://ceur-ws.org/Vol-921/mathui-02.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{Libbrecht:OpenMathUIWiP2012,
title = {Skills Text Box A Tool to Access Resources by Mathematical Concepts},
author = {Paul Libbrecht},
pages = {24--36},
url = {http://ceur-ws.org/Vol-921/mathui-03.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{WenzelReinhardt:OpenMathUIWiP2012,
title = {Mathematical Computations for Linked Data Applications with {OpenMath}},
author = {Ken Wenzel and Heiner Reinhardt},
pages = {38--48},
url = {http://ceur-ws.org/Vol-921/openmath-01.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{CaprottiSaludes:OpenMathUIWiP2012,
title = {The {GF} Mathematical Grammar Library: from {OpenMath} to natural languages},
author = {Olga Caprotti and Jordi Saludes},
pages = {49--52},
url = {http://ceur-ws.org/Vol-921/openmath-02.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{Quaresma:OpenMathUIWiP2012,
title = {An {XML}-Format for Conjectures in Geometry},
author = {Pedro Quaresma},
pages = {54--65},
url = {http://ceur-ws.org/Vol-921/wip-01.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{CorneliDumitru:OpenMathUIWiP2012,
title = {{PlanetMath}/{Planetary}},
author = {Joseph Corneli and Mircea Alexandru Dumitru},
pages = {66--72},
url = {http://ceur-ws.org/Vol-921/wip-02.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{Windsteiger:OpenMathUIWiP2012,
title = {{Theorema} 2.0: A Graphical User Interface for a Mathematical Assistant System},
author = {Wolfgang Windsteiger},
pages = {73--81},
url = {http://ceur-ws.org/Vol-921/wip-03.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{Hatlapatka:OpenMathUIWiP2012,
title = {{JBIG2} Supported by {OCR}},
author = {Radim Hatlapatka},
pages = {82--90},
url = {http://ceur-ws.org/Vol-921/wip-04.pdf},
crossref = {OpenMathUIWiP2012},
}

@inproceedings{FormanekEtAl:OpenMathUIWiP2012,
title = {Normalization of Digital Mathematics Library Content},
author = {David Form{\'a}nek and Martin L{\'\i}{\v s}ka and Michal R{\r u}{\v z}i{\v c}ka and Petr Sojka},
pages = {91--103},
url = {http://ceur-ws.org/Vol-921/wip-05.pdf},
crossref = {OpenMathUIWiP2012},
}

@proceedings{OpenMathUIWiP2012,
booktitle = {24\textsuperscript{th} OpenMath Workshop, 7\textsuperscript{th} Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress},
title = {Joint Proceedings of the 24\textsuperscript{th} {OpenMath} Workshop, the 7\textsuperscript{th} Workshop on Mathematical User Interfaces ({MathUI}), and the Work in Progress Section of the Conference on Intelligent Computer Mathematics},
year = 2012,
editor = {James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht},
number = 921,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-921/},
venue = {Bremen, Germany},
eventdate = {2012-07-09/2012-07-13},
}

