OpenMath Thematic Network Workshop, Nice 2002
March 2-3 2002
Some notes of the meeting are available here
(PDF).
- Report on the W3C meeting.
D. Carlisle, NAG Ltd.
- Semantics-Preserving Transformations for Mathematical Markup (Postscript).
S. Watt, University of Western Ontario
- OpenMath CD update (PDF)
J.H. Davenport, University of Bath
- A Geometry CD (Postscript)
A.M. Cohen, Technical University of Eindhoven
- The project MONET
M. Dewar, NAG Ltd.
- The project CoCoA 5
J. Abbott, University of Genova
- Categorial Type Theory for OpenMath
A. Strotmann, Florida State University
- Dependable Mathematics and Computational Logic
U. Martin, University of St. Andrews
- Adaptive Calculus Learning System (PDF)
M. Seppala, University of Helsinki
- A language for brokering mathematical services
(PDF) O. Caprotti, RISC Linz
- A Content Language for distributed reasoning systems
C. Giromini, Saarland University
- Embedding OpenMath into Documents, lessons
and suggestions from the OMDoc Experience (Postscript)
M. Kohlhase, Carnegie Mellon University
- OpenMath Society business meeting
© The OpenMath Society 2001–2012