Proceedings of OpenMath Workshop 6
Zurich, 27-28th July 1996
Friday, 26th July 1996
Private session in late afternoon/evening.
* Discussion on applying for further funding for OpenMath.
* Discussion about contexts.
Topics should include the internal structure of contexts,
the delineation of a context (i.e. guidelines on how large an
area should it cover), and the establishment of a context
Saturday, 27th July 1996
09:00 G Gonnet "Welcome to Zurich"
09:05 G Gonnet "Semantic Dictionaries in OpenMath"
09:30 S Watt "The INRIA OpenMath Prototype"
Based largely on the published specification for OpenMath prototype2.1
the group at INRIA have built some implementations. This talk
describes alterations made to the specification, and covers the
work invested in creating a collection of OpenMath contexts intended
to offer a solid foundation on which to build further contexts.
10:10 A Diaz "The OpenMath Context Server and Registry"
A vital part of making new contexts available is a "publishing"
mechanism. I describe the first prototype OpenMath context server,
and discuss various improvements which are planned. Ideas on how
to extend this to multiple sites will also be put forward.
10:30 Coffee break
11:00 S Buswell "A Proposed Semantic Mathematical SGML DTD"
The work on HTML-Math is presentation based. In this talk I describe
an SGML DTD which is based on semantics; this semantic information
is important if the formula is to be extracted from the SGML document
and processed by mathematically sophisticated software.
11:20 R Sutor "techexplorer and OpenMath: WWW Scientific Publishing"
In this talk I'll discuss how we would like to use OpenMath to enable
techexplorer documents to contain mathematical content that could
be visually transferred to other applications.
11:40 R Sutor "A Proposed OpenMath Object Compatibility Standard"
On a given platform, e.g., Windows 95 or the Macintosh, the full
OpenMath standard with encoding and communications protocols
is overkill. In this talk I'll discuss why I think we need an "Object
Standard" and how OpenMath could work with Windows OLE/ActiveX
12:00 R Sutor "Update on the HTML Math standards effort"
I have recently joined the W3C HTML Math Editorial Review Board who
are working on an HTML representation for maths. I shall present
an overview of the current state of HTML-Math.
14:30 J Abbott "OpenMath Network Compatibility"
On platforms which do not have a native object transfer protocol
it is necessary for OpenMath to define its own "encoding". In this
talk I shall discuss the latest developments in OpenMath encodings.
14:50 J Abbott "OpenMath Prototypes"
I shall describe the design (and justification) of the latest OpenMath
prototype, and also highlight some shortcomings with ideas on how
to avoid these in the next prototype.
15:20 G Simon "Communication Interface between SAC--2 and LiDIA"
In this talk I will summarize some experiences on the basis of a
sample application implemented using a CORBA like system (ILU).
I think, in some cases, it would be possible to combine this approach
with OpenMath (or a subset of them).
16:00 Coffee break
16:30 Discussion about prototyping.
Topics should include: general future strategy, development of more
contexts (and their interim management), which languages/systems
should OpenMath supply implementations for, relative importance for
the inclusion of currently absent features,...
Sunday, 28th July 1996
09:00 J Davenport "Some Ideas for Types in OpenMath"
The design of the AXIOM system highlights the benefits of keeping
detailed type information. I wish to present some arguments about
the type information which OpenMath should include.
09:30 Discussion on types and OpenMath.
Topics may also include discussion about the internal structure of a
context, and how contexts may be parametrized.
10:00 H Schoenemann "Experiences with Distributed Polynomial Computations"
I want to contribute some conclusions/suggestions arising
from our experiences with MP/MPP (and other "communication protocols")
to the "OM prototype 2.1".
10:30 Coffee break
11:00 Discussion on the next stage for OpenMath.
Topics should include: general future strategy, establishing
productive links with the developers of various systems, establishing
good contacts with the "electronic publishing" world, creating a
more formal "project".
12:30 End of workshop.
This page is part of the OpenMath Web archive,
and is no longer kept up to date.