Eric Andres. Towards automatic generation of domain-specific mathematical input support. In Christoph Lange 0002, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger, editors, Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. Volume 1010 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]
@inproceedings{Andres13,
title = {Towards automatic generation of domain-specific mathematical input support},
author = {Eric Andres},
year = {2013},
url = {http://ceur-ws.org/Vol-1010/paper-10.pdf},
researchr = {https://researchr.org/publication/Andres13},
cites = {0},
citedby = {0},
booktitle = {Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK},
editor = {Christoph Lange 0002 and David Aspinall and Jacques Carette and James H. Davenport and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Pedro Quaresma and Florian Rabe and Petr Sojka and Iain Whiteside and Wolfgang Windsteiger},
volume = {1010},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}