| Time, Truth and Type Theory | S. Buswell |
| Proposed Changes to the OpenMath Standard and to the
Content Dictionaries Distributions (PS, PDF) | D. Carlisle |
| Proposal of an Extension of OpenMath by Defining Mathematical Properties
(DVI,PS,PDF ) |
A. M. Cohen |
| Content Dictionaries (HTML) |
J. H. Davenport |
| Some Experiences on Translating OpenMath to C | T. Huuskonen
|
| OpenMath for knowledge-based automated theorem proving (PS, PDF) |
M. Kohlhase |
| OpenMath, IAMC and GAP (PDF) | A. Solomon |
| Experimental use of OpenMath to link packages in the CATHODE II Workgroup
(PS, PDF) | A. Triulzi
|