Proceedings of the Second OpenMath Workshop

Note: Much of the Proceedings has been scanned in for this online presentation. For non-handwritten texts, this method has produced far from satisfactory results. Authors are therefore kindly requested to submit their slides or texts in 'electronic' form (as some authors have already done - my thanks for your cooperation).

Introduction and Summary

Slides from the Second OpenMath Workshop

John Abbott
POSSO Proposed Polynomial Extensions
(slides)
Simon Gray
A Progress Report on the Multi Project
(no online information available yet)
Gaston Gonnet
Semantics and Purposes of OpenMath
(slides)
Stefan Vorkoetter
OpenMath Work in Progress at Waterloo Maple Software
(slides)
Marc Gaetano, Stéphane Dalmas, Yves Papegay
SAFIR Project Update
(slides)
Andreas Strotmann
CALIF -- Computer Algebra Information Interchange Format
(slides)
Neil Soiffer
Problems with OpenMath
(slides)
Wolfgang Weck
Some Thoughts about Mathematical Symbols
Carlo Traverso
Posso and OpenMath
(slides)
Panel Session
Semantics of the Protocol: How Much or How Little?
Stefan Vorkoetter (for Chris Howlett)
Relations to Standardization Bodies
(slides)
Rüdiger Loos
An Algebraic Kernel System
(slides)
Mika Seppälä
Plans Under the Recently Approved HCM Proposal
(HCM Network OpenMath home page)
Norbert Kajler, Ron Avitzur
HISC Activities at RIACA
(slides)

OpenMath home page

Strotmann@RRz.Uni-Koeln.DE
21 Nov 1994