The Declaratron
[The Declaratron is] a system which takes a declarative approach to specifying mathematically based scientific computation. This uses displayable mathematical notation (Content MathML) and is both executable and semantically well defined. We combine domain specific representations of physical science (e.g. CML, Chemical Markup Language), MathML formulae and computational specifications (declaratronXML) to create executable documents which include scientific data and mathematical formulae.





