External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Declaratron, semantic specification for scientific computation using MathML

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]

Authors

Dave Murray-Rust

This author has not been identified. Look up 'Dave Murray-Rust' in Google
runs on