Academic Papers by Dr. Bill Naylor
Paper describing an Aldor web-based
service presented at MKM 2006, the typing problems
encountered, and how they were overcome (206 k).
Paper about performing semantic searches for mathematical web service, presented at MKM 2005 (221 k).
Slide show about the Monet (Mathematics On
the NET) architecture and the basis for
the GENSS (Grid Enabled Numeric
and Symbolic Services) project, given at the IAMC 2004
workshop.
Slide show detailing the XML domains for Aldor
and a banded matrix domain for Aldor, given at the CatLan 2004
workshop.
A paper
(360 k)
which discusses representation of units and dimensions in OpenMath.
A paper (compressed version 112 K) which
describes the extention of a notation 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)
html version of the above paper.
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 Slide show 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.
My masters thesis - "Report on various
zero structure decompositions".
Link to some of my recent work
Link back to my Home Page