Academic Papers by Dr. Bill Naylor

A paper (compressed version 112 K) which describes the extention of a notaton description language to allow the description of objects with varying sizes, to be presented at the MathML 2002 conference, Chicago.
uncompressed version of the above paper. (266 K)
html version of the above paper.
html version of the above paper for MathML enabled browsers.
A Slide show for the presentation of the above paper.

A paper which describes a scheme for automatically creating XSLT stylesheets for converting documents into other forms, presented at the Mathematical Knowledge Management conference 2001 (RISC institute - Linz). (180 K)
uncompressed version of the above paper. - (501 K)
A Slide show for the presentation of the above paper.

A paper which describes the relation between OpenMath and MathML presented at the IAMC 2001 workshop. - (125 K)
html version of the above paper.
uncompressed version of the above paper. - (107 K)
A Slides for the presentation of the above paper.

"Conversion between MathML and OpenMath": OpenMath deliverable number 1.2.7.

A paper which describes a monte carlo category system, as implemented in AXIOM presented at the poster session for ISSAC 2000. - (41 K)
uncompressed version of the above paper. - (107 K)
A version formated for north american printers.

A paper which describes an interface between the AXIOM system and a PDE solving routine from the NAG library, presented at the poster session for ISSAC 1995. - (181 K)
uncompressed version of the above paper. - (1017 K)
A version formated for north american printers.



Link back to my Home Page