| layout | page |
|---|---|
| title | 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