[Om3] A dynamic future?

[Professor James Davenport]

On Wed, March 25, 2009 9:34 am, David Carlisle wrote:
>> And is there not already a mechanism for specifying presentations?
>> Within MML itself or externally?
>
> yes but a mathml renderer (unlike an Openmath one) needs to be able to
> render any expression in (allegedly) some reasonable way in the absence
> of any explicit style information.
Paul Libbrecht has been thinking about these issues in the context of OM,
where, as David points out, the constraints are different. See
http://www.springerlink.com/content/2m0767m633321678
http://opus.bath.ac.uk/468/

James Davenport
Visiting Full Professor, University of Waterloo
Otherwise:
Hebron & Medlock Professor of Information Technology and
Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor and Programme Chair, OpenMath 2009
IMU Committee on Electronic Information and Communication