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]
Abstract is missing.