Abstract: MathML, the W3C recommendation for mathematics on the Web, has its fifth birthday this year and is now seeing widespread adoption. The CEC-supported OpenMath initiative on the exchange of semantically rich mathematical objects has been running for a similar length of time. These technologies have achieved a considerable degree of synergy and interoperability and underpin a number of current initiatives, including the MONET and MathBroker projects concerned wih mathematical web services.
Abstract: Web Services technologies such as ebXML, UDDI, WSDL are not enough for describing the details concerning the functionality of a web service performing a mathematical computation. They lack the accuracy that allows for "intelligent" discovery by clients. In this talk we will present the ongoing developments within the European project MONET and the Austrian FWF Mathbroker project to overcome those limitations. We illustrate how registration of a mathematical service via the MONET mathematical service description language at the MONET broker subsequently supports queries about multiple aspects of a computational problem. Because mathematical service discovery is essentially problem solving, it is easy to envision the development of "specialised" (intelligent) brokers dealing with queries of a certain form. The Mathbroker project is an example of one such extension to MONET.
Abstract: OpenMath and Content MathML use XML formats to encode the semantics of mathematical expressions. We examine the relationship between these two formats with a view to identifying any advisable adjustment of the standards. To do this, we develop a bijection between Content MathML and Openmath, implemented as a set of XSLT stylesheets. We see that while most of the conversions are straight-forward, some are difficult or impossible because of the subtle differences between the basic concepts in Content MathML and OpenMath. Finally, we demonstrate the possibility of converting OpenMath to "Simplified" Content MathML, which is valid Content MathML not making use of pre-defined functions.
Abstract: This talk will give an overview of the use of Mathematica technology for mathematical presentation, computation, and visualization over the web. It will focus on the support in Mathematica for MathML and show how to use this in combination with webMathematica to build MathML based web sites for computation. It will also show how SVG can be used in conjunction with XHTML and MathML to add visualization features. Finally it will show how to deploy these features with SOAP based web services.