Dave Murray-Rust. The Declaratron, semantic specification for scientific computation using MathML. 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{Murray-Rust13-0,
title = {The Declaratron, semantic specification for scientific computation using MathML},
author = {Dave Murray-Rust},
year = {2013},
url = {http://ceur-ws.org/Vol-1010/paper-03.pdf},
researchr = {https://researchr.org/publication/Murray-Rust13-0},
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},
}